[mikewhy]

That's great, but not all apps will be able to trim down their menu items. Being able to quickly search all the entries, like in macos / Unity, is a huge help for new users.