[Gretl-users] Re: searching the gretl mailing lists