1) The official launch of HTMLEditor 3 is going to be today, the support page will be updated today with HTMLEditor 3 documentation.
2) Glad to hear you are liking it
3)
can you elaborate please? Is HTML Editor not working for you? what are the issues you are having?