I upgraded my Gnome desktop to 2.20 and everything went perfectly well.
Well, almost.
My fonts looked overly large and botched, but this was quickly remedied by firing up the good old gnome-control-panel and changing the appearance of the fonts to 96 dots per inch.