A simple rich text editor for jQuery ui

Hello,
Congratulations for the 1.7 release.
I am the author of this very simple jQuery Rich Text Editor plugin:
http://code.google.com/p/rte-light/
If the jQuery UI team is looking for integrating a Rich Text Editor, I
can certainly help to do integrate this one in addition of some
feature and options.
Cheers,
Batiste Bieler