[Milner08]

You could say that about almost anything. There are plenty of people who dont use VSCode so it seems wise to make it a separate app.

[appplication]

Most VSCode extensions are pure slop, to the point where you’re almost certainly better off using any other option for tools where available.

And I don’t mean slop in the new “AI slop” sense of the word, but more “ostensibly supposed to do something specialized but in practice not particularly effective, well documented, or useful”. The entire extension ecosystem is hot garbage.