options:
  administrator:
    default: serveradmin
    type: string
    description: Username of the administrator of the server.
  administrator-secret:
    default: serveradmin
    type: string
    description: Default administrator login password.
  port:
    default: 9987
    type: string
    description: Port to run server at.
  admin-token:
    default: admintoken
    type: string
    description: Token necessary for the initial configuration of the server.