Hmm, given how easy it seems to be to mess up encodings in source and how different viewing applications seem to cope differently (at least on the Mac), maybe we should be using escaped codepoints everywhere, yes. What do you think? I could file a ticket about fixing the other instances and fix the others I notice in the meantime. (I had already fixed mine in https://github.com/mtbc/openmicroscopy/commit/7b77a7447eb4aa0be58f41cef88075de205e4cb7 -- I assume there's some convenient tool into which one can paste the strings to get their escaped equivalents.)