You are going to leave GNOME Extensions website to http://github.com/jancborchardt/gnome-shell-extensions.