Re: [Gretl-devel] changes to 'extra'