Improves the GitHub Pull Request UI and adds several features. "Better PRs"
These are versions of this script where the code was updated. Show all versions.
Show number of comments for each file in file tree.
