>> groff -P -y -P U -Tpdf z.tr > z.pdf
>
> Ah, no mention of Times, and Nimbus embedded. It's a big file though,
> ~120,000 bytes compared with ~4,000 if -Tps and ps2pdf is used to also
> embed Nimbus. I guess the latter picks just certain runes?
gropdf is very simple; it doesn't subset fonts. To get a small output
file you should use GhostScript:
ps2pdf z.pdf z-optimized.pdf
This reduces the PDF file size to ~4kByte.
> Presuambly, troff has used Times' metrics before that?
Yes. They should be fully compatible, IIRC.
Werner