Hide archived repos by default #1761

I've just started using refined-github today and first off, thanks for making something very helpful!

I belong to a few github organizations and a couple of those have a huge list of repositories, but most of them are archived. I almost never want to see these and they really clutter up my view so I think it'd be nice to hide them by default. I am specifically talking about organization pages like https://github.com/rubocop-hq but it could also be a reasonable default for individual repository pages: https://github.com/sindresorhus?tab=repositories.

If this is something you don't think most users would prefer, is refined-github set up in such a way that it would be easy to have a disabled-by-default but easy-to-enable feature? I was surprised to see very few configuration options in the extension so I'm guessing this is probably not the case and I would need to make my own extension if it bothered me enough.

If this is something refined-github would support, I'd be willing to try implementing it.