GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3150
GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/2252