Update text-editors.html