You are going to leave GNOME Extensions website to http://github.com/cnervi/gnome-shell-antisocial-menu.