Re: [Gretl-devel] Some TODO items re documentation and user interface