3 ms·

Yep the post is also 7 years old. I suspect there is a lot more going on now, but I haven’t investigated in a while.