untested "wget" code