Update html-text-editor.html