Awesome Linux Tools: The "micro" text editor