3 ms·

Thank you! Somebody had pointed me to that before but it hadn't made it into my reading pile yet. Added to the list.