At GitHub, we're building the text editor we've always wanted. A tool you can customize to do anything, but...