The extension enables `org.gnome.shell.overrides.workspaces-only-on-primary`, but doesn't restore the original value when it is disabled again.