3 ms·

Thanks, John! It was one of my favourite posts he made. It deserved a second life, and usefully, too.