4 ms·

Thanks for the tip. I'd never heard of that one either. It seems like a simpler awk, or at least small subset of awk.