code: public static Parser<Void> stringCaseInsensitive(String str) {
      return Patterns.stringCaseInsensitive(str).toScanner(str);
    }
docs: A scanner that matches the input against the specified string case insensitively.
  @param str the string to match
  @return the scanner.