This is disappointing but understandable. Banning all AI use from PRs is impossible to police and would reduce the pool of possible contributors to nearly zero. It's a pragmatic decision but the inevitability of it makes me sad.