v3.1-dev: update from dev#4897

oai-spec-publisher[bot] merged 2 commits intov3.1-devOAI/OpenAPI-Specification:v3.1-devfrom

devOAI/OpenAPI-Specification:devCopy head branch name to clipboard