[Gretl-users] Re: Save session using a script