Использовать Яндекс.Диск и Dropbox в одной папке было ошибкой. Яндекс.Диск так и не закончил синхронизацию, но успел поудалять по рандому кучу мелких файликов, а Dropbox удалил их на остальных компьютерах. Где–то nspr4.dll удалил, где–то adortl120.bpl, где–то в учебных материалах я теперь трёх .dwg недосчитался, и узнаю я об этом совершенно случайно.