Gnome-Shell 3.2: Usable--but only with Gnome 2 shell extensions