Re: [Gretl-devel] A short wish list