Re: OT: how do I download with curl from this web site?