Extract all readable text from a PDF and download it as a plain .txt file.
Only text-based PDFs are supported. Scanned or image-only PDFs will not produce output — use the PDF OCR tool for those.