Since Koha relies already on YUI, why not switching from TinyMCE to YUI text editor?
I am not sure the proper way to do this, and I hope someone can assist me formalizing and sending this patch to the patches list, or to a maintainer directly --
http://developer.yahoo.com/yui/editor/