Pull the text out of a PDF and copy it or download as .txt. Runs in your browser with PDF.js. Scanned PDFs need OCR.