[Gretl-devel] Re: the getinfo() function: request for comments