From Thomas Lumley: PDFs may have font problems, too