Online da poche ore, il sito delle Gnome Extentions che permette una gestione semplice delle estensioni Gnome 3 al nostro desktop.