That's true. But I use VSCode every day. FWIW, I tried the de-Microsofted version and it worked well for almost a year. But then the plugin store split happened

That's true. But I use VSCode every day. FWIW, I tried the de-Microsofted version and it worked well for almost a year. But then the plugin store split happened and it just made life more difficult than sucking it up and going back to vanilla VSCode. So I'd be a huge hypocrite if I said Github is a step too far.