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
can you elaborate please? Is HTML Editor not working for you? what are the issues you are having?