Micro – A terminal-based text editormicro-editor.github.io4 points·sdomino··1 commentOpen articleSaveView on HN