Re: Release criteria proposal: require GNOME Shell extension install/remove to work