I just tried upgrading Ubuntu 13.04 using the Gnome 3 team PPA, but after restarting I found a major bug.

The amount of memory used by Gnome Shell quickly grew; within minutes, top reported that...