HexoPDF, offline PDF editor with text extraction (OCR)