Well yes, and what is VSCode but a web app, hosted locally? :) I was thinking about the online version when I wrote my comment, as that is what I usually use.

Well yes, and what is VSCode but a web app, hosted locally? :) I was thinking about the online version when I wrote my comment, as that is what I usually use. My point is that even the browser version is basically perfect, which is rare to see in web apps (including "electronized" ones).