Re: [Gretl-devel] problem of Google for mailing list search