message: deriving instance Fix for HighlightingBug
diff: },
  { "match": "\\bsorry\\b", "name": "invalid.illegal.lean4" },
  { "match": "#(print|eval|reduce|check|check_failure)\\b", "name": "keyword.other.lean4" },
  + {
  + "match": "\\bderiving\\s+instance\\b",
  + "name": "keyword.other.command.lean4"
  + },
  {
  "begin": "\\b(?<!\\.)(inductive|coinductive|structure|theorem|axiom|abbrev|lemma|def|instance|class|constant)\\b\\s+(\\{[^}]*\\})?",
  "beginCaptures": {
  