A collection of tools for processing PDF files