Github
val download_files : _ Eio.Net.t -> Eio.Fs.dir_ty Eio.Path.t -> string -> string -> string -> unit