doc: Update redirecting links

Peter Eisentraut <peter_e@gmx.net>

Commit: e716dc3fc4cdfbc53d65e93ab9c6600c32f824ae
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2018-07-16T08:44:06Z
Releases: 11.0
doc: Update redirecting links

Update links that resulted in redirects.  Most are changes from http to
https, but there are also some other minor edits.  (There are still some
redirects where the target URL looks less elegant than the one we
currently have.  I have left those as is.)

Files

Documentation touched