The version of the OpenAPI document. Distinct from OpenApi.openapi.
OpenApi.openapi
String get version;