M micro-editor.github.io Micro: Modern and intuitive terminal-based text editor 349 points ingve 6 years ago 103 comments