Proposal: GNOME Text Editor as default text editor

Sure. I will file a bug then. Those overly long binary names do not really feel unix (but of course, gted is not made for the command-line, I guess).