Fix the mkdownload.tcl script so that it generates a correctly-formatted
download.html page.