Files in the workshop-0825 directory: