Nel giorno del rilascio bisogna sistemare la pagina di download, cambiando la configurazione dello script e la lista delle md5 disponibili.

Il lavoro va fatto nel momento stesso del rilascio.