3 ms·Refined GitHub: Browser extension that adds useful features to GitHub Interface1 points by rsapkf 7y ago