gnome-disable-workspace-switcher GNOME Shell 45-46 extension that disables the workspace switcher popup (overlay displayed when switching between workspaces)