Can't install Elan through Vscode.

Stream: lean4

[u7122029]

Hey guys, I'm having issues with installing lean4 on Windows. I was told that if I was stuck, I should go to this chat room for help.
Basically, when I click "install lean using elan" in vscode, I get a lot of errors, with the first one stating "object reference not set to an instance of an object".
All the details can be found https://github.com/leanprover/vscode-lean4/issues/349.
Could I please have some help?

[Scott Morrison]

Are you using an admin mode account?

[Scott Morrison]

@u7122029, I've just confirmed on a fresh Windows 11 VM that the standard install procedure is working.

[Scott Morrison]

(Problems resolved via the issue discussion.)