Manpages of syncthing-discosrv in Debian stretch-backports