The options used to initialize a KernelManager.
Optional
The server settings for the manager.
When the manager stops polling the API. Defaults to when-hidden.
when-hidden
The options used to initialize a KernelManager.