GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/4588
Skip-check: authors GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/4005