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