It would be nice to have the PR numbers linked to the PRs themselves, same with the contributors beside the number.