On Thu, 28 Apr 2011 17:08:34 +0000 (UTC), B wrote:
This helped me a lot: http://live.gnome.org/GnomeShell/CheatSheet and
I tried their recommended Alt-F2. It did nothing perceptible, even after a long wait. Nor did goosing it with the down arrow.
Alt+F2 has always been there, also with "old" GNOME. Did you mean to say that you have never used it before?