BTW, MacOS has this feature for menus in all apps: at the top of the ‘Help’ menu is a search field. Also invoked with cmd-? (i.e. cmd-shift-/ on my keyboard). The highlighted menu item is then triggered with ‘enter’—so for touch-typists this is way faster than using the mouse.