Previous
Hunter-side workspace switch. Replaces the previous flow that PATCHed
Driva's `set-workspace` endpoint and reloaded the page — Hunter now keeps
its own preference and the Driva session cookie isn't touched. The
preference takes effect on the very next req