[Gretl-users] Re: Gretl Docker container