The files in this directory configure a development container for GitHub Codespaces.