message: Remove rogue comma
diff: "lean.input.leader": {
  "type": "string",
  "default": "\\",
  - "description": "Leader key to trigger input mode",
  + "description": "Leader key to trigger input mode"
  },
  "lean.infoViewAllErrorsOnLine": {
  "type": "boolean",
  