[9fans] Inferno /sys/doc: PDFs are actually PS?

[Pietro Gagliardi]

Hello. I tried to see the Inferno document "An Overview of Limbo/ 
Tk" (inferno_root/doc/limbotk/tk.pdf) with page, and it looks blurry.  
So I decided to put it on my Mac OS X, and Adobe Reader didn't open  
it. I then found it was a ps file, not a PDF file. Why does Inferno  
use the .pdf extension, then?

PS - I converted the PS to a PDF with Mac OS X and it it still  
blurry :-( The Inferno distribution doesn't come with any images so I  
can't rebuild from the troff source.