This would avoid the need for students to configure their dev environment at the start of TP1: https://github.com/features/codespaces