GNOME: Theming, Mutter and Sprint 1