Since latest updates, alt+f2 doesn't show at all in gnome-shell (i..e. no box appearing to allow entering any command).
Since latest updates, alt+f2 doesn't show at all in gnome-shell (i..e. no box appearing to allow entering any command).