Switched to the Cinnamon window manager

I run Ubuntu on my main home machine, but the latest 12.04 LTS release has a terrible, barley useable window manager.

I’ve switched to Cinnamon, following the instructions here. Now it all works like it is supposed to.