To those gnome 3 lovers out there. https://extensions.gnome.org/ For easy installation of extensions. If there's one you fancy click the link and change the slider to on and volia! yur extension is installed. Brilliant. It reminds me very much of installing addons to firefox. This is a must for gnome shell lovers.