Re: [Gretl-devel] Feature request: line numbers