follow instructions by Otttomata over email including:
"​log into stat1005, and delete anything in the directory for your user in /srv/stat1002-a/user_dirs_from_stat1002/ that you don’t need, and move anything else that you do need to your regular home directory there."

[The week of August 7 should work for this.]