GitHub CodeSpaces: CodeSpaces, Cloud IDEs, GitHub Copilot. (navbar_github_codespaces - see also navbar_github, navbar_github_copilot)