docs: def download(url, file_handle, chunk_size=1024):
      """Downloads a given URL to a specific file.
  
      Parameters
      ----------
      url : str
          URL to download.
      file_handle : file
          Where to save the downloaded URL.
  
      """
      r = requests.get(url, stream=True)
      total_length = r.headers.get('content-length')
      if total_length is None:
          maxval = UnknownLength
      else:
          maxval = int(total_length)
      name = file_handle.name
      with progress_bar(name=name, maxval=maxval) as bar:
          for i, chunk in enumerate(r.iter_content(chunk_size)):
              if total_length:
                  bar.update(i * chunk_size)
              file_handle.write(chunk)