This adds sorely needed features to GitHub's PR pages.