I'm surprised nobody mentioned GitPod[1] - it's in business since quite a while in my GitHub projects, powered by VSCode, with terminal, pretty much everything Codespaces does... Any thoughts on such a comparison? Is GitHub reinventing the wheel locally?