Maybe it can export bitmaps suitable for OCR libraries or services (like https://pixlab.io/cmd?id=ocr) to convert.