html_to_ascii replaces ansi_num entries too