Qué fue del lanzador de GNOME

Desde no sé que actualización de Ubuntu, o Fedora perdí el icono del lanzador de aplicaciones de GNOME que normalemente venía en el menú Aplicaciones, y el cual solía usar bastante ... hasta que el otro día me decidí a buscarlo, harto de tener que abrir un terminal para lanzar la aplicación.

Al final lo encontré: Ahora hay que pulsar Alt+F2 si queremos que nos aparezca, y si esta combinación de teclas no nos va bien, podremos cambiarla vía gconf-editor (algo así como el registro de Windows, pero en Gnome) y cambiarlo en: /apps/metacity/global_keybindings/panel_run_dialog