We use CKEditor for editing HTML in our web apps.