Trouble connecting to workspace in VSCode when name matched deleted workspace

> 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.

Beginne im Workspace-Verbindungsablauf der VS Code extension und reproduziere den Fall, dass ein gelöschter Workspace durch einen mit demselben Namen ersetzt wird. Verfolge, welcher Verbindungsstatus über das Löschen und die erneute Verbindung hinweg bestehen bleibt. Als erledigt gilt die Aufgabe, wenn ein Workspace mit einem wiederverwendeten Namen eine Verbindung zum vorgesehenen Workspace herstellt, ohne veralteten Status des gelöschten Workspaces.

Vom Indexierungsmodell aus dem Issue-Text verfasst.