Ubuntu official Extensions to extend functionality of GNOME Shell

 GNOME Shell is extensible using extensions. This serves both as a dependency
 package for the official Ubuntu GNOME Shell extensions and includes some of
 them.