Just wanted to mention that I have just upgraded to Gnome-Shell 3.8 using SID. No problems thusfar, looking good fellas! Thanks for your hard work getting this transition going!