Change package manager configuration to install docs and manpages.
Pull mirroring updated Jan 25, 2021.