Update editors.html