Refined GitHub: Chrome extension simplifies GitHub interface, adds featuresgithub.com/sindresorhus4 pointsingve10 years ago