We were using a text editor (notepad++ if it was Windows), and it would be pretty invading for a very basic text editor to change text like that (copy pasted at

We were using a text editor (notepad++ if it was Windows), and it would be pretty invading for a very basic text editor to change text like that (copy pasted at that). But honestly I don't know what these "smart quotes" are so it might as well be it. The only time that text encoding causes trouble is when I get something from someone who has written it on a Mac, whether it is the obscure quotation marks or a lot of gunk when copy pasting from PDFs.