pub async fn download(
    progress: &dyn Progress,
    source: &Source,
    destination: &Utf8Path
) -> Result<()>