PDF-related utilities, including PostScript-to-PDF conversion
