Proofreading support for the HTML Editor