Re: [Gretl-users] PDF manual: clever suggestions wanted!