I also look it from a "customer" perspective, and it's not only about PRs, also issues, we have like ~500.