These manual pages are generated on https://docs.syncthing.net/, based on
the https://github.com/syncthing/docs repo. Do not edit them in this
repo.