A better way to review a GitHub pull request’s diff: grouped, summarized, and fast.