File:Gnome tweak extensions.jpg

Summary
Using GNOME Tweak Tool (under 3.10) to add shell extensions from GNOME website.