[Gretl-users] Re: I have a need to save gretl sessions with a script