Re: [Gretl-devel] Wrong dating of gretl manuals