htmlAREA or the like?

This is not needed. WP has a great editting toolbar. No need to add HTMLarea. It’s bloated and not as seamless as the WP editor.
My two cents….
<rb>