added alias "wget_mirror"