Is the HTML editor maintained by the Caravel developers?

No, we use the open source project TinyMCE developed by Moxiecode Systems. We have been very pleased with its integration into Caravel.