gnome-shell-extensions-alternative-status-menu installed by default?