Fix #389: revise bogus/obsolete comment in editor.js