usage/Editors-and-Plugins.md: a few more fixes