Editor and browser extensions

Extensions for editors and browsers. The ones worth installing change one thing and stay out of the way; the rest add a chat window you already have in another tab.