The web version of the VS Code editor on GitHub.dev had a security vulnerability that allowed attackers to take over all of a ...