well, good point - but then again, every default is a problem for someone. I'm also OK with the Gnome maintainers removing the middle click behavior IFF they g

well, good point - but then again, every default is a problem for someone. I'm also OK with the Gnome maintainers removing the middle click behavior IFF they give me an extension to bring it back. the power is "how" and not "what". If they can fix the theme manager of Gnome (I'm still stuck on Gnome 3.4 on 12.04, so I dont know), it will be great. I'm imagining "Recipe Packs" in the future - one click sharing of your customized desktops. Who cares if the default is blue or red.