Improving Agama's OpenAPI specification