[Gretl-devel] Re: a small generalization of the replace() interface