Extensões para o GNOME Shell

São feitas em java script e CSS e foram planejadas para aumentar o poder do shell do GNOME, tal como gerenciamento de janelas e lançamento de aplicativos.
Fedora 15 e Arch Linux já possuem as extensões em seus repositórios e o Ubuntu 11.10 tem ppa (http://www.webupd8.org/2011/10/official-gnome-shell-extensions.html).

Vídeo.