Comment on Windows: we noticed that you kept the useless search bar disabled since 2015, so we sent an update that re-enabled it without your permission
Thanks! I’ll give it a try next time I have time to spend in front of my own computer (not anytime soon…)