prefer converting PDFs to text using poppler pdftotext rather than pdfminer pdf2txt