Requester: @captainsafia 1. Evaluate rename of properties in ReadResult to avoid redundancy in naming: Change `OpenAPIDocument -> Document` and `OpenAPIDiagnostic -> Error` 2. Evaluate if the properties in ReadResult need setters. 3. OpenAPIDocument should be nullable.