Re: GNOME appearance settings not honored after today's update