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.