I'm still testing and cross-testing the 3.10 packages from the PPA and I just happened to notice that 'gnome-tweak-tool' version 3.10.1-0 fails to launch in Ubuntu or Edubuntu.
It can be useful in flashback mode so I filed this bug report:
https://bugs.launchpad.net/ubuntu-gnome/+bug/1266307
Probably just needs to look for either 'gnome-shell' or 'gnome-session-flashback' instead of just 'gnome-shell'.
Lance