micro: A modern and intuitive terminal-based text editor