The github.dev web-based editor

https://docs.github.com/en/codespaces/the-githubdev-web-based-editor

https://github.com/klezVirus/SharpSelfDelete

…