Fixing utf-8 issues in html_txt