Packet: Restore is still failing after installing Ionide the first time on a machine

[ovatsus]

Doing Paket: Restore on a new Ionide installation does nothing, the console window never opens

All my fsx scripts at work now have this header, I'd really like to get rid of those last 4 lines

// Getting Started
// * Install F# (Visual Studio Installer->Modify->Individual Components->Development activities->F# language support)
// * Install Visual Studio Code
// * Install the Ionide-fsharp and Ionide-Paket plugins
// * Ctrl+Shift+P -> Paket: Restore
//    * If this step doesn't work, update to the latest paket version by 
//    * deleting %userprofile%\.vscode\extensions\Ionide.ionide-paket-1.11.0\bin\paket.exe and 
//    * running %userprofile%\.vscode\extensions\Ionide.ionide-paket-1.11.0\bin\paket.bootstrapper.exe to download paket.exe
//    * and then try again

I debugged this a little bit, and the problem seems to be that paket.exe is locked, so bootstrapper hangs. If I open taskmanager, I see both paket.exe and paket.bootstrapper.exe running, and if I then kill paket.exe, the new version is downloaded, and the paket console window finally shows up in VSCode and everything works

[ovatsus]

Note this only happens if you open VSCode on a folder which already has paket files but you have never used it before. If you open VSCode on an empty folder and do Paket: Init, it tries to update paket.exe then and it works correctly.