better-comments-for-github. The browser extension that completely replaces the GitHub comment box to a powerful rich markdown editor