Unicode all the way
Merge branch 'html_formatter' into allfixes