I think this would be easier to maintain if we used as ascii escape sequence here, rather than a utf-8 encoded file.