We support gzipped man pages. We should gzip our manpages. I don't want to commit the gzipped versions, so the originals should be moved out of `base/` and gzipping should be added to the build process.
We support gzipped man pages. We should gzip our manpages.
I don't want to commit the gzipped versions, so the originals should be moved out of
base/and gzipping should be added to the build process.