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