Andi Kleen wrote: > a .ps.gz version would be useful. .pdf does not look very useful for me, > because it is mainly for online browsing, and info does this job fine. FI, a .pdf can be printed in theory (i.e. if it doesn't crash ghostscript), and .pdf is often much smaller than the corresponding .ps.gz -- Jamie