The GNOME Shell Extensions package contains a collection of extensions
providing additional and optional functionality to the GNOME Shell.