Updated generated PDF.

Generated with an ever so slightly newer pdftex, larger file, but the
fonts look better on my Debian system (not embedded previously?).