Why do we not gzip man page source? I just confirmed that man, catman, mandb, and xman all have no trouble with gzipped pages. Is there some other way to read man pages that can't gunzip the files? I'd be happy to patch that program. On my system, it shrunk /usr/man and /usr/X11R6/man from 12.3M to 6.4M. I think that's significant. We could make this as an easily achievable goal of Debian 1.2. ;-) Guy