I love Redactor. I use it for an internal project and its easily the best compared to TinyMCE and others. Its clean, produces clean markup (you don't get random empty HTML tags like <strong></strong>..text) with no inline-styles.

I wrote a Python library to take its output and shove it in a word document: http://pypi.python.org/pypi/HtmlToWord/