[Gretl-devel] checking the status of "set" options