GitHub repository: tdeneke/course-env
Description: Docker and configuration files for the course environment.