3 ms·

Also, it's friday evening now in Europe. I usually don't read HN in the weekends, only during defocus time at work.