How to setup lean4 viscose extension

Stream: lean4

[Lim, Thing-han]

I followed the instructions of the lean4 viscose extensions, run npm install then open VS Code on the folder, then Press Ctrl + Shift + B to compile.
However it then reports Error: Can't resolve './src/extension.ts'.
Do I misunderstand something? how can I setup the vscode extension?

[Sebastian Ullrich]

You should get the extension from the marketplace if you're not interested in extending it

[Marc Huisinga]

Or open the extensions menu on the left in VSCode and type in lean4, then install the extension.