This review was tracked here: https://github.com/microprofile/microprofile-wg/issues/256#issuecomment-2770233383
PMI record: https://projects.eclipse.org/projects/technology.microprofile/reviews/microprofiler-openapi-4.1-release-review