Extension is now in extensions.gnome.org !