Should `download()` be copied to this script as well, or at least use the same `curl` and `wget` progress arguments?