Function download_file_name 

fn download_file_name(
    requested_name: Option<&str>,
    stored_name: Option<&str>,
    path: &Path,
) -> String

requested_name, else the uploaded file’s original name, always ending in the file’s extension so the saved file still opens in the right program. The extension comes from the storage path, or from stored_name for paths stored without one.