PDF tools based on Poppler