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