You are going to leave GNOME Extensions website to http://git.gnome.org/gnome-shell-extensions.