You can use a tool like SyncThing to do this too
Thank you. I know that, but it forces me to be exporting and importing, and if I ever forget and resume with an unsynced game, then we have the trouble… 😅 Nothing important. I was just checking.