Rename old copy-paste filename
Rename for the sake of easier urls for the students
Simplify file names to make the public urls easier