[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.