GitHub Pull Request Colorizer WebExtension that tries to colorize lists of pull requests according to some rules.