Now handles non-gzipped man pages.