Micro - A modern and intuitive terminal-based text editor