[ty] Reachability constraints: minor documentation fixes#21774

sharkdp merged 1 commit intomainastral-sh/ruff:mainfrom

david/reachability-constraints-docu-updatesastral-sh/ruff:david/reachability-constraints-docu-updatesCopy head branch name to clipboard