Describe the purpose of this change. If there is an existing issue that is
resolved by this pull request, ensure that the commit subject is on the form
Some short description (fixes #1234)
where 1234 is the issue number.
Describe what testing has been done, and how the reviewer can test the change if new tests are not included.
If this is a GUI change, include screenshots of the change. If not, please feel free to just delete this section.
If this is a user visible change (including API and protocol changes), add a link here to the corresponding pull request on https://github.com/syncthing/docs or describe the documentation changes necessary.
Your name and email will be added automatically to the AUTHORS file based on the commit metadata.