Micro Editor: a modern and intuitive terminal-based text editor