3 ms·

Thanks, tinchox5. Yep, that’s basically the killer feature: quick edits straight from the terminal, old-school style.