[Gretl-devel] the "add" and "omit" commands