[Gretl-users] Re: A small administrative issue with gretl 2019d