So, has the port happened yet? The following title would be more clear: "Planning to port Aloha editor from ExtJS to use jQuery". Because the current version s

So, has the port happened yet? The following title would be more clear: "Planning to port Aloha editor from ExtJS to use jQuery". Because the current version sounds as there were an easy migration path.