Comment by pxc

I used to recommend micro[1] to people like those in the target audience of this editor. I wonder if that should change or not.

--

1: https://micro-editor.github.io/