Re: [Gretl-devel] remarks on the script editor