Guy Maor writes ("Re: Gzipping man files"):
...
> Anyway, it's decided. Everybody start gzipping man pages. Obviously
> don't upload a new revision just for that, but make the next version
> have it.
>
> Perhaps we should put this information in the guidelines. Ian is in
> charge of that, right?
Yes. I'd just like confirmantion, before I change the guidelines,
that this has actually been agreed ...
Ian.