Correction synchronisation github vs. dropbox