docs: public int setOptionOrWarn(String[] flags, int i) {
      int j = setOptionFlag(flags, i);
      if (j == i) {
        j = tlpParams.setOptionFlag(flags, i);
      }
      if (j == i) {
        System.err.println("WARNING! lexparser.Options: Unknown option ignored: " + flags[i]);
        j++;
      }
      return j;
    }