[Gretl-devel] Re: outdated menu description in dialog window?