Ich such einen richtig guten HTML5 Editor für Drupal

Ich such einen richtig guten HTML5 Editor für Drupal.

Darunter versteh ich einen in dem man korrekte HTML5 bezeichnungen auswählen kann, zum beispiel strong oder h1 und in dem mann icht formatiert (formatieren kann), zum Beispiel die Farbe festlegen, die Schriftgröße, die Schrift fett machen etc.

Vom Aloha Editor hab ich schon gehört, der scheint aber, so sagen die Entwickler, noch viele Bugs zu haben. Wenn Ihr keine Alternative wisst, wie schlimm ist das mit den Bugs im Aloha Editor wirklich?