`example` is now deprecated in FastAPI but the replacement, `examples`, does not show up in the Swagger docs, so we can't switch to it for now. https://github.com/swagger-api/swagger-ui/issues/9045