Re: [opensuse-gnome] 12.1 Gnome shell extensions