My Top 10 GNOME Extensions (September 2016)