3 ms·Better-comments-for-GitHub: browser extension to replace the GitHub comment box1 points by thunderbong 1y ago