Syncing with mounted drives?

So this safeguard has drawbacks. If you mount a folder within a syncthing folder, that will still look like the files are deleted. Also, looking at open tickets, I think there exists some edgecases where files do get deleted, but we never found a reproducible case to patch it up.