GNOME Shell Extensions is a collection of extensions providing additional
and optional functionality to GNOME Shell.
