Ratibor:
HotEditor integration plugin is very simple, you don't have to do anything to set it up. I have made it.
If Hoteditor is chosen as default one, I will put decoded editor.js here. Othewise I don't want to make it public. It was me and another guy who decrypted editor.js, there is no decrypted 4.2 on the net anywhere.
May the Source be with you!