On Monday, 16 October 2017 at 18:21:46 UTC, Jacob Carlborg wrote: > On 2017-10-16 17:13, Andrew Edwards wrote: >> Is there a better way? > > The official download script [1] is using the following: You're a godsend. Thank you very much.