message: Fix `itens` on wrong configuration schema.
diff: "lean.input.languages": {
  "type": "array",
  "default": ["lean"],
  - "description": "Enable Lean unicode input in other file types."
  + "description": "Enable Lean unicode input in other file types.",
  + "items": {
  + "type":"string",
  + "description": "the name of a language. Eg: 'lean', 'markdown' "
  + }
  },
  "lean.input.leader": {
  "type": "string",
  "default": "\\",
  "description": "Leader key to trigger input mode",
  - "items": {
  - "type":"string",
  - "description": "the name of a language. Eg: 'lean', 'markdown' "
  - }
  },
  "lean.infoViewAllErrorsOnLine": {
  "type": "boolean",
  