maintain-environment

Maintain the repo devcontainer environment and related workflow files. Use when changing .devcontainer or environment setup scripts.