3 ms·

I use awk a lot, but only as canned solution I found on the web, your article definitely decided me to learn it. Thanks.