PDF to text

Pull the text layer out of a PDF into a plain .txt file, with page breaks preserved. For scanned documents, use OCR PDF first.