Summary: Modify and extend GNOME Shell functionality and behavior

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

Enabled extensions:

* apps-menu
* auto-move-windows
* drive-menu
* launch-new-instance
* light-style
* native-window-placement
* places-menu
* screenshot-window-sizer
* user-theme
* window-list
* windowsNavigator
* workspace-indicator

URL: https://wiki.gnome.org/GnomeShell/Extensions
License: GPLv2+

Maintainer: nobody