Reliable tools for converting PDFs