[webmaven]

I was aware of Syncthing, but last I checked there were some caveats that made it unsuitable. Looking again now, it seems those have been largely addressed, although if I want a hosted mirror I'll still have to set one up myself, and it looks like each shared folder has to be set up and authenticated on each device (ie. there seems to be no notion of a "user" who chooses which of their devices have a copy).

I appreciate the nudge to look at it again, and at the very least this will stop me from having to pay attention to Dropbox's enforced case-insensitivity.