3 ms·

Thanks! That's a lot clearer. (PS: Despite my criticism, HN is by far the best tech news site around. To everyone involved: Keep it up!)