Comment by geolgau

At the same time I've had instant search in menus in Linux (gnome, kde, xfce, whatever, you name it).