Microsoft today previewed some new features for its Dev Box coding-machine-as-a-service offering. While Dev Box appears to provide similar services to GitHub Codespaces. For those keeping score, ...