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.

VS Code extension の workspace 接続フローから開始し、削除された workspace が同じ名前の workspace に置き換えられるケースを再現します。削除と再接続をまたいでどの接続状態が保持されるかを追跡します。同じ名前を再利用した workspace が、削除された workspace の古い状態なしで意図した workspace に接続できれば完了です。

索引モデルが issue の本文から書いたものです。