Retry HTTP downloads if we don't get a full patch

Created by  pmeunier  on December 7, 2021
7Z3KZV6GY6IKLOWWRM6MVLOPAMP5MSJGQ3TVEZMMCSBVIP4NWRIQC
Change contents