3 ms·

Yup, that was accidentally cut out when posting from the original writing. We've added it back in. Thanks for pointing it out!