Different "Profiles" for VS Code to allow separate settings for coding and teaching - View it on GitHub