[Gretl-users] many thanks