OFFICIAL DOCUMENTS The original had problem with text extraction. pdftotext Unable to extract text.