Re: [Gretl-users] Translation of gretl documentation