Help needed: Highlighting text in PDFs seems to mess up OCR'd text

Maybe your experience is similar to what is described in this thread: PDF highlighting and file size

In which case, you are running into a known issue for which there are, as of yet, no elegant solutions. :confused: