GNOME Shell Extensions is an open source and freely distributed project that provides users with a modest collection of extensions for the GNOME Shell user interface of the GNOME desktop environment. It contains a handful of extensions, carefully selected... 2 Apr 17 in Desktop Enhancements, GNOME Software