Re: Gnome top bar appearance changed F13 updates