Thanks for letting us know about this. I had installed Gnome-shell through Synaptic and it froze. Then, I downloaded the Ubuntu-gnome saucy, but that too froze. Good that I noticed this post. I reinstalled Ubuntu Saucy, added the raring ppa and installed the gnome-shell 3.8.1 and and everything is working well. 3.8 doesn't have enough extensions yet, but its okay.