Re: [Gretl-devel] Problems downloading help-docs (pdf)