use unicode for HTML export

not utf8-encoded bytes

should close #3807