Not sure if I'm asking for trouble by putting literal UTF-8 characters in the source. It'd be easy to change this to \u escapes if that'd be better.