Thread:Dizzycomputer/@comment-3182821-20191015104853/@comment-39097528-20191015114745

There are free image-to-text converters online that can do this relatively painlessly: https://www.onlineocr.net/ or https://easypdf.com/ocr-online