GNOME Shell extension that disables the workspace switcher popup