Recognize .txt files already produced by pdftotext