RFE: Restart option inside Gnome Shell