Toying with TinyMCE
Installation is pretty easy, it hooks seamlessly into existing textareas, turning them into WYSIWYG HTML editing areas in supported browsers. The HTML output is not perfect, but seems acceptable for this purpose.
Feel free to try it out and let me know how it works, especially if it doesn’t. I am especially interested in hearing from non-Windows users.