Re: socializing upcoming GNOME UI changes?