main.html: umlaut to html entity (#290)