Ability for users to chose editor

I just thought that it would be nice for users to be able to chose the editor they want to use when creating/editing nodes.

For example, someone who doesn't know one bit of HTML might want to use a full WYSIWYG editor like YUI Editor but another user who knows a bit of HTML might want to be able to edit the HTML, in which case an editor like FCKEditor would be a better choice because it allows the user to switch between WYSIWYG mode and text/HTML mode (I know YUI Editor is also capable of doing this but the Drupal plugin is currently missing this feature). Yet another user who wants full control of what he does might prefer BUEditor, which simply inserts the tags and the user can edit them. Other users might want to have just the plain text box to edit away to their hearts' desire...

This could be achieved by each editor plugin registering itself with the drupal core and then Drupal would allow the users to chose which editor they prefer from a list.

Any comments?

Raul