What is the best: pdf2txt or pdf2text or pdftotext ? When I tried: pdf2txt ... this came up: sudo apt-get install python-pdfminer Synaptic shows that I have: poppler-utils installed which includes: pdftotext but I cannot find it on my system. What would you recommend as the best solution?