For those looking for this, I've just uploaded one with about 1/4 of the total functionality that runs well on ExtJS 4. Details are here.

thanks - dave