A set of basic extensions for gnome-shell.

More extensions are available on https://extensions.gnome.org/
In future release this will be more intergrated.

WWW: http://live.gnome.org/GnomeShell
