Re: [Ciao-users] problem with the download script