2 ms·

On the other hand, if someone is going to be pedantic, HN is apparently exactly the right site for them.