PDF Tools Based on Poppler