Adjust for HTTPS URLs and 4.02.1 release