This was one of those pull requests where reviewers suggested "while you're at it, maybe also..." and so it escalated quickly. That always creates a risk of the PR becoming too big and hard to review. However the reviewers kept at it, and it was merged!
https://github.com/bitcoin/bitcoin/pull/30409