VSCodeのRemoteサーバーディレクトリがどんどん大きくなっていくやつ、なんか自動削除の拡張とかないんかなと思っていたら、そもそもremote.SSH.serverInstallPathの設定説明に、これをいじるとクリーンアップを自分でやらないといけないよって書いてあって、普通は消してくれるのか？ちゃんと動いていない気がするが。もしかしてinsiderはディレクトリ名がちょっと違うから動かないとか？