[fmorel]

There's already something like this for GitHub: https://github.com/refined-github/refined-github

[normie3000]

Thanks for sharing - loads of great ideas there for the GitHub team.