I have used the online version of CKEditor to make some small things, and it is pretty damn good

It would be much better than the current editor...

cheers,
Paul