Or this one: https://github.com/wangrongding/github-old-feed

I'm not sure which is better. One is smaller, but I don't know if it's because it's elegant or incomplete. Both seem to work "fine".

Both suggest tampermonkey, but both work fine in firemonkey, and so presumably also greasemonkey or violentmonkey.