The menu option & the icon do 2 different things, The menu option produces a ‘windowed’ terminal whereas the icon produces a full page overlay, which would be the best to remove ?
That’s a different type of terminal; it’s a drop-down terminal that you can also open with ⌥ K or Alt + K.
I wouldn’t look; I’d just use auto-complete suggestions to search. Who even looks through everything when you can just start typing (or hit / first) to find what you need?
That’s a very sporadic bug. I saw it happen only a few times, and I couldn’t reproduce it to fix it. It’s easier to just use the keyboard arrow and enter key to go to search results.
Yeah, I know, but I don’t think it deserves a whole separate link that takes up space on the menu.