[Gretl-users] Re: New Gretl Docker Image