This is the first time I've heard of micro. More info here: https://micro-editor.github.io/