Download the OpenAPI JSON