Html export supports UTF8
Fixes #140