hello, I found that Finnbarr P. Murphy develop many gnome-shell-extensions, you can see at <a href="http://fpmurphy.com/gnome-shell-extensions">http://fpmurphy.com/gnome-shell-extensions</a>, and have some interesants, like the iconplacesbookmarks or the poweroptions, that make gnome 3 more usable, have you plans to add this to debian? thanks!