Instead of quite tediously copying the whole project to another place, wouldn’t this be an excellent place to show students how to use git branches? Although I didn’t finish the section yet and don’t know if you have some specific plan that requires copying.
Anyways, I decided to go with a new branch and hope it’ll work later