[Editing] Html-encode most critical chars in tooltips (#531)