Replace wide characters with their HTML entity equivalents

Otherwise, they become double-encoded, as the Mason file is not
automatically parsed as utf-8.
Version bump