Pushed version (0.9 now on AMO)