3 ms·

I recognize that username :) Thank you so much for micro, it's singlehandedly the best terminal editor I've ever used, and I use it every day!