Thanks for your quick action! No luck then, but at least I now know that it has never...
Extension does not load in Gnome 3.4.2