FYI, we had a report of someone having trouble connecting to a workspace via VS Code when the name matched the name of a previous workspace they had deleted. It seems like there's some state leakage in the VS Code extension.

^ Context linked from Slack.