Re: [Gretl-users] functions on Gretl server: trivial suggestion