editing HTML tag-soup.