Tag userscripts

Adding Labels to GitHub Pull Requests

Introducing a Greasemonkey script to add full label support to the GitHub pull request UI

There are comments.