servers[0].url
openapi.json
A tiny fix within `openapi.json`, that changes the URL in servers property to the correct ones.