Debugging html_txt