There is really no reason to add a JS dependency for this - whatever server-side component expires old URLs can just as well update the download page with the n

There is really no reason to add a JS dependency for this - whatever server-side component expires old URLs can just as well update the download page with the new one.