8 ms·Refined GitHub, a browser extension that simplifies GitHub and adds features2 points by rutierut 1y ago