I think ever more identifiers should be added to reach the things in mirc.ini, as it is not comfortable to use all gettok stuff.
By the way, a command which would let us update the mirc options according to the manually made changes in mirc.ini (like flushini backwards) would be a good thing, too.
