http://extensions.gnome.org http://extensions.gnome.org is really the killer feature of Gnome-shell. Its really unfortunate that it is not publicised more. I m

http://extensions.gnome.org http://extensions.gnome.org is really the killer feature of Gnome-shell. Its really unfortunate that it is not publicised more. I mean seamless installation and control of desktop extensions from the browser? awesome!