Re: Distro policy regarding GNOME shell extensions