Hack: Don’t let Swig parse tokens
Markdown renderer: Transform non-ASCII characters into unicode in heading