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