Proofreading software for html tagging