[Gretl-users] New options for the script editor