List the commits and summarize the diff — the PR description synthesizes them. Name the reviewers; the description should answer their likely questions.