Never even knew such a menu existed and was looking through every pulley I could think of. "Top menu", sheesh... the terms are getting distracting.

I don't complain the functionality is now more generally available, but I still find SailfishReboot more convenient for my use.