[3.13] gh-133412: amend docs for the inst definition (GH-133708)
#172270
require-pr-label.yml
on: pull_request
DO-NOT-MERGE / unresolved review
3s