VSCode extension without `elan`

Stream: lean4

[Max Nowak 🐉]

Is it possible to point the VSCode extension to a Lean toolchain directly? Is there some env vars I can set which the vscode extension will pick up? In my case I'm trying to create a nix flake for my project with lean4, and while I could add elan as a dependency in the flake, it feels unnecessary.