Backup for my dissertation, since google git repo is not working anymore, which is strange