Re: [Gretl-devel] two slightly confusing things in the manual and one suggestion