I already have 9000 OCR\'d PDF files on my drive. I need the text of every single PDF file in a .txt file as plain text. I have tried countless (Python) modules (pd3f, PyPDF