OCR for large PDFs

Make a scanned PDF searchable and copyable, any number of pages (OCRmyPDF), and straighten tilted pages.

This tool needs the server version and does not run on GitHub Pages.