[Gretl-devel] Re: Proposal for extra.gfn: instrings()