Wow, that is nice.
I wish that will be implemented in the next version. Actually some of the other discussion board software implemented this kind of HTML editor. I just do not want to mention the software name here.
If you participate in other forum you might know what I am talking about.
Anyway, that is something that they should seriously think about for the next version to stay with the competition.