[Gretl-users] Re: download a zip archive via script?