Nice. I don't get why they can't just use the super key by default like everyone else, but it's not a very big problem. Is it a fuzzy search? How does it handle "term" and "temrinal"?
They can use the key. They just don't change default keyboard shortcuts during a release cycle (first generation Plasma precedes both Unity and Gnome Shell).
