You are right, that's an alternative, no HTML editing though (I can type HTML but my editors cannot).
I would like it to be available to edtitors of the module (if you have only edit rights on the module you cannot edit the module settings)
(which could be an advantage too...in some cases)
Another problem is that the header doesn't have a specific class and is therefor difficult to style (I'll add that to gemini)