{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "UserId",
  "type": "string",
  "description": "The user id of the submitter/technical contact."
}