I used to think GitHub Codespaces would help popularise Gitpod but now realize it is the other way around.