Micro – A modern and intuitive terminal-based text editor (micro-editor.github.io)