Update html_editors.md