Re: [Gretl-devel] translating gretl docs