Should we rename this channel to something like

devcontainer

or else to reflect the possibility of codespaces or should we create a new channel dedicated to codespaces and then archive this one when we finally reach EOL with gitpod?