Remember old HTMLArea - the default editor of moodle 1.X ? When support for HTMLArea was discontinued core developers started to fix editor bugs themselves - first it was easy when moodle supported only IE4-6 and FF2, after 5 years tracker was full of unassigned HTMLArea bugs that nobody wanted to fix - we got Safari, Chrome, Opera, FF3, IE8, IE9,..., mobiles, tablets,...
HTMLArea was a perfect example of code that was written non-modular, non-pluggable, non-changable - and it took 5 years until Petr Skoda finally wrote the new pluggable editor code for moodle 2 that should allow adding any editors (editor plugins) to moodle: the code for CKEditor integration is not similar to TinyMCE 4 integration or TinyMCE 3 integration and TinyMCE 3 does not need to override TinyMCE 3 - right?
We tested optional editors already with moodle 1.6...1.9 period and no matter what method is used it's good to be able to change editors, editor themes, editor skins and editor skin colour variants including icons of editor as a part of each editor skin. Themes can't detect editor skin (or can they?) but themes can be used to set editor skin with some skin switcher or setting (or user preference) - I was using this method with math plugins (and "tinymath editor") in moodle 2.3 until moodle 2.4 moved custom plugins to new folder...
Adding hundreds of css tags to theme css to override some default editor css settings is like overriding yui css with base theme css and custom theme css.
It would be so much easier to just select themes, select editors, select editor skins and other editor settings from administration menu or even user preferences. The only problem here seems to be custom plugins that don't use similar html/css as core plugins. When you have selected a skin called "moodle" core plugins create html like
<span class="mceIcon mce_numlist"></span>
and skin moodle ui css has code like
.moodleSkin span.mce_numlist {background:url(img/numbered_list.png) 2px 2px no-repeat;}
Customized Moodle plugins on the other hand create html like
<span class="mceIcon mce_moodleemoticon">
<img class="mceIcon" alt="Insert emoticon" src="http://xxx/lib/editor/tinymce/plugins/loader.php/moodleemoticon/2013050100/img/moodleemoticon.png"></img>
</span>
and load a png image from custom plugin tinymce/img folder
Now this can be changed if a user knows what files to replace, images to hide or css to override - and it is just the typical way to change things in moodle.
If nobody else wants to test integration of TinyMCE 4 to moodle 2.5 or 2.6 I could try it next week - as an optional editor plugin - with selectable TinyMCE 4 skins that can be tested with http://skin.tinymce.com/