Labels

Closed by the stale workflow after inactivity; reopen anytime

Something isn't working

New feature or request

Good for newcomers

Extra attention is needed

Pull request inactive for 7 or more days

This doesn't seem right

Exclude this pull request from the stale workflow

Community PR validated by triage; needs SME review before merge

PR needs revision before it can be accepted

Further information is requested

Trivial, low-risk fix (small prose-only diff, CI green) — fast one-click review