That’s too bad, I really found the app launcher usefully on windows. I use it all the time.