In the end I decided to go for TinyMCE. It's pretty versatile and although downloading text was not a built-in function, it was easy to set it up myself just by passing the formatted HTML text through a PHP variable once a button was pushed for download.
From there, there are various php classes that can be used to convert HTML to RTF. Just updating this in case anyone else comes up with a similar problem in the future.