Heh. Close to six months in Gnome and I never realised that those shortcuts existed. Apparently, I have severely underestimated the Gnome desktop for a long time.