Codex: Set the file encoding to UTF-8 in produced HTML pages