Re: [Gretl-users] Recent menu changes