Re: [Gretl-users] new things, and translations