Tools for PDF manipulation