[crux-commits] ports/core (3.6): move several http: to https: URLs