3 ms·

Thanks for that. I don't browse reddit as a rule, but I occasionally land there when applying google-fu to a problem so this removes some tedium from my life.