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