micro is nice, I’ve been using it more for the past few months

And for me, there was no productivity penalty when switching from VSCode, since I didn’t have to learn all new keybinds (still lacks a bit of multicursor, tho)