One solution (or workaround) is the Alternative Status Menu extension. It makes the power-off and other options always visible, no alt-key required.
https://extensions.gnome.org/extension/5/alternative-status-menu/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
