Documentation text not always escaped correctly when rendered to HTML

Comments containing non-ascii characters (like for example the swedish "Vi mäter temperaturer i °C") show up incorrectly in the generated HTML file. Only a handful of characters is encoded at all, and only at a few rare occasions.