taconi

These things have bothered me a lot in the micro repos, there are PR's like this one almost 4 years old where the "owner" of the editor doesn't show up...

I created a [discussion](https://github.com/zyedidia/micro/discussions/3161) to centralize this.

Hey 👋 Is there anything missing for this PR to be merged?

Closed due to inactivity

Closed due to inactivity

Closed due to inactivity