On: GitHub code search is generally available

[coffeebeqn]

VSCode is just the lowest common denominator IDE that works decently with most languages and platforms, I use it a lot but would not think twice about switching to something else (as I have many times in my career). I don’t think it really has any “moat”

[tipsytoad → coffeebeqn]

Lol. Except the huge library of plugins, tight copilot integration and majority market share

[fomine3 → tipsytoad]

and Remote Development extensions