Isn't Codespaces essentially what Koding was doing ~10 years ago albeit w/less freedom?