Re: [Gretl-devel] ** documentation glitch