[Gretl-devel] Re: A possible bug, etc