Great. Thanks for the manuals. This is very useful. But for some reason, I couldn’t open the previously saved files, but I believe the issue is on my end. In the meantime, I used the OCR PDF Converter
https://pdfguru.com/pdf-ocr to switch to another format until I sort out the problem. By the way, this online tool turned out to be really good for editing as well. If you often work with PDFs, I think it could be quite useful.