all: Update docs.s.n links to use https

Skip-check: authors

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

man/README.md

@@ -1,3 +1,3 @@
-These manual pages are generates on http://docs.syncthing.net/, based on
+These manual pages are generates on https://docs.syncthing.net/, based on
 the https://github.com/syncthing/docs repo. Do not edit them in this
 repo.

man/refresh.sh

@@ -1,6 +1,6 @@
 #!/bin/sh
 
-base=http://docs.syncthing.net/man/
+base=https://docs.syncthing.net/man/
 pages=(
 	syncthing.1
 	stdiscosrv.1

man/syncthing-security.7

@@ -129,7 +129,7 @@ web GUI defaults to being reachable from the \fBlocal host only\fP\&.
 .sp
 Parties doing surveillance on your network (whether that be corporate IT, the
 NSA or someone else) will be able to see that you use Syncthing, and your device
-IDs \fI\%are OK to share anyway\fP <\fBhttp://docs.syncthing.net/users/faq.html#should-i-keep-my-device-ids-secret\fP>,
+IDs \fI\%are OK to share anyway\fP <\fBhttps://docs.syncthing.net/users/faq.html#should-i-keep-my-device-ids-secret\fP>,
 but the actual transmitted data is protected as well as we can. Knowing your
 device ID can expose your IP address, using global discovery.
 .SH PROTECTING YOUR SYNCTHING KEYS AND IDENTITY