results2html: Declare character encoding for index.html.