gnome-shell-extensions: gnome-shell-extensions (GNOME shell extensions)
gnome-shell-extensions:
gnome-shell-extensions: GNOME Shell Extensions is a collection of extensions providing 
gnome-shell-extensions: additional and optional functionality to GNOME Shell.
gnome-shell-extensions:
gnome-shell-extensions:
gnome-shell-extensions:
gnome-shell-extensions:
gnome-shell-extensions:
gnome-shell-extensions:
gnome-shell-extensions: