G github.com GitHub's new text editor leaked on Twitter 706 points almightygod 12 years ago 249 comments