GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3108
I haven't been able to figure out the problem, despite a lot of experimenting with this... GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/2988