pdfmux is a self-healing PDF extraction tool that routes each page to the best backend, audits...