Ah, I never considered or used Dropbox as a backup tool, only for synchronization. Backup is separate. For simple undo operations (recover a recently deleted f

Ah, I never considered or used Dropbox as a backup tool, only for synchronization. Backup is separate. For simple undo operations (recover a recently deleted file), Syncthing's version history is good enough.