a1287f0 Use https instead of http in links

Authored and Committed by oturpe 7 months ago
    Use https instead of http in links
    
    This is the modern way, and also removes many warnings from
    `check-links.sh` output.
    
        
file modified
+1 -1
file modified
+1 -1