Microsoft owns the stack: GitHub, VS Code, TypeScript, npm. GitHub has released Codespaces. Why in this year 2022 are we still having to write code as plaintext in GitHub PRs? Give me smart indentation, vim mode, syntax highlighting, knowledge of our TypeScript types, etc