type download_result =
  | Success of filepath
  | Network_error of string
  | Aborted_by_user