The ⌘K switcher done properly: focus stays in the input while aria-activedescendant moves, arrows wrap, and the highlight resets on every query change.
It's still listed in Hoverlab's index, but asking for it returns nothing, so it can't be installed.