4 ms·

It must’ve been quite a typo, that comment is still underwater after being corrected :-) I upvoted FWIW