Sie wussten es wahrscheinlich schon, aber Sie wählen Menüpunkte aus, indem Sie im Hilfemenü nach ihren Namen suchen. Die Standardeinstellung für die Fokussierung lautet ⌘? (oder ⇧⌘ /), kann aber im Tastaturbereich geändert werden.
Es ist nicht wirklich dazu gedacht, Menüelemente auf dieselbe Weise wie das Ubuntu-HUD auszuwählen. Das Aktualisieren der Ergebnisse ist ziemlich langsam, das erste Ergebnis wird nicht automatisch ausgewählt, und die Hervorhebung des Menüelements kann ablenkend wirken.