In reply to Phil Johnston.

This is an idea I've been thinking about a lot lately too -- core should provide its default editor but also enough flexibility to let other editors take over the space. WordPress should absolutely be encouraging this, even down to building an API for an "editors" feature.