Hi all I have a possibly weird workflow, where I save PDFs from a tutorial web-site (to avoid all the dynamic advertising), and then I copy some of the text from the PDF into a text-editor for making notes.However, certain character combinations in ...
