Re: RFE: Restart option inside Gnome Shell