{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "type": "object",
  "properties": {
    "help": {
      "type": "string"
    }
  },
  "required": ["help"],
  "additionalProperties": {},
  "title": "Help",
  "description": "Help text; its prose may change."
}