[NicoSantangelo]

Looks really good, I don't know if it's a good idea to add it as a feature but I can add a link to it

[fiatjaf]

You don't have to. Or Perhaps we could make a "modular" GitHub extension that put together all GitHub extensions and let the user choose what he wanted.

That's probably a bad idea.