A repository of development container definitions for the VS Code Remote - Containers extension and GitHub Codespaces