Offtopic, but my Gnome 3 status menu has a separate shutdown/restart menu option. :-) https://extensions.gnome.org/extension/5/alternative-status-menu/ https:/

Offtopic, but my Gnome 3 status menu has a separate shutdown/restart menu option. :-) https://extensions.gnome.org/extension/5/alternative-status-menu/ https://extensions.gnome.org/extension/5/alternative-status-...