editors-and-plugins.md: polished nodeMirror description.