case-insensitive option in json

[murphyke]

Just for posterity, it may not be obvious to everyone where to put the case-insensitive option in a JSON grammar.

It goes in the lex object, e.g.:

const grammar = {
  "lex": {
    "options": {
      "case-insensitive": true
    },
 ...
}

You can either close this or interpret it as a mild request for slightly better documentation of the JSON format or tell me what I missed.

[murphyke]

Closing my note for posterity. There are too many issues and PRs. #297 (new maintainer team) seems relevant.