The instantiation options for a workspace manager.
Optional
The server settings used to make API requests.
The instantiation options for a workspace manager.