4 ms·

I think so too, but even in case one disagrees, they should have mentioned it. Otherwise you’d think they never had heard of it :)