gnome-shell-extensions: GNOME Shell Extensions
gnome-shell-extensions:
gnome-shell-extensions: This package contains a collection of extensions providing additional
gnome-shell-extensions: and optional functionality to GNOME Shell.
gnome-shell-extensions: