On Thu, 28 Apr 2011 17:08:34 +0000 (UTC), B wrote:
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?