Better GitHub Pull Requests

Improves the GitHub Pull Request UI and adds several features. "Better PRs"

As of 2022-04-06. See the latest version.

These are versions of this script where the code was updated. Show all versions.