Userscript that makes sure that GitHub stays a work tool and doesn't turn into a social media website