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.

Inizia nel flusso di connessione del workspace della VS Code extension e riproduci il caso in cui un workspace eliminato viene sostituito da uno con lo stesso nome. Traccia quale stato della connessione persiste dopo l’eliminazione e la riconnessione. Il lavoro è completato quando un workspace con un nome riutilizzato si connette al workspace previsto senza lo stato obsoleto di quello eliminato.

Scritto dal modello di indicizzazione a partire dal testo della issue.