You are going to leave GNOME Extensions website to http://github.com/DeanF/Terminal-in-UserMenu-Gnome-Extension.