Chrome extension to add editor buttons to comment inputs on GitHub