M micro-editor.github.io Modern terminal-based text editor 496 points andros 9 years ago 274 comments