Re: [Gretl-users] question about gretl help/manual