html: update source download URL

Caution: It is not tested. It should be tested in the next release
process!