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.