Must OpenAPI be implemented on a Redfish server?