PDF_tools Tools in Python to modify a PDF. For the time being, only one tool is provided: PDF exctract_pages: user can choose a PDF file, and create a new PDF with only the pages he wants to keep.