In the .devcontainer directories that VSCode uses to build dev images, e.g. the Python 3 one here, they always have a Docker file and a base.Docker file. The base.Docker file is not referenced by either the Docker file nor the devcontainer.json file. What is it for?