Better-comments-for-GitHub: browser extension to replace the GitHub comment boxgithub.com/riccardoperra1 pointthunderbong9 months ago