Hi, I just switched to KDE (I think): finally, they did a good job!!! Anyway, I saw that Alt+F1 was a shortcut for the Application Launcher in both Gnome and KDE. It seems it still is, but I had to "override" it in the settings to make it work (in fact I had an alert). It's a bug, isn't it?
(TARGET-make-Red-Hat-Bugzilla-servers-explode)