In addition to --workspace=<other-db-name|docker>, an option would be very useful to offload all workspace operations to a different Mysql server. This could be on localhost or other. A full DSN like user:pass@host:port/schema would be perfect. This could be a new option rather than overloading the existing "workspace" option.