I just found this Official Gnome site, a while ago . . . GNOME Shell Extensions > https://extensions.gnome.org/Hey, with gnome-tweak-tool and the dock extension, gnome-3.2 is starting to look almost usable.
Now, I just hope those things become part of the standard gnome shell setup and made available in the regular "system config" thing rather than hidden off. Sure, make them default to off if you want that "clean default", but make them easy to find and part of the standard install.
Or would that be too close to "Ok, we admit we were wrong" and thus not politically acceptable?
-- Linus Torvalds
Looks like a very usable site - has a list of some nice Gnome-Shell-Extensions - easy to install and use - that would come in useful.