iirc he (or his colleague) did mention somewhere on X that most of the PRs are small