devcontainer Set of images for developing in Docker containers via VSCode. These images are mainly based on ones from Microsoft, but add some additional stuff such as preinstalled VSCode extensions or applications.