OMG, is this what I think it is? Is it a universal search trough the menu items in applications, like that old Ubuntu HUD thing!?
I've been wanting that ever since Ubuntu introduced it, and then unfortunately got rid of it for for me unknown reasons. It's so extremely useful and a huge time saver! "Where was that thing again?" "Does this app have…?" No more questions like that, no more hunting, just search!
I really hope this is coming to #Gnome soon! Where can I read more? @tbernard