Adjust for HTTPS URLs and 4.02.1 release
more info on 4.02.1 release

Rename release filename. Now using only the major and minor numbers in
the filename because most of the content doesn’t change upon build
increments.