[heliumtera]

>The recommended way to install Lean is through VS Code

Is that enough reason?

[EFreethought]

Yes.

I am tired of my time in tech being just using MS products that all depend on each other.