Just wanted to say... fantastic idea of having the html tab. It is so easy to swap between the two of them now.
It will save heaps of time for those of us who do swap between the editors.
Emmmm... this is a new thing is it not.. I hope I am not that slow to catch on to new things around here.
I am such a creature of habit, and knowing me it has been there all the time and I just haven't noticed it.
I will feel rather sheepish if that is the case.
Anyway... nice work guys