Re: [PATCH] Ship a gnome-shell extensions override file for Workstation