It was redudnant having "External Editors" under "External Programs" (they're
all external, yeah?) and of course, "Editors of what?"

So yeah, existing docs are now all wrong. :-)