6 ms·

I could just upvote your comment (which I did), but I'd like to tell you explicitly that your comment was particularly informative. Thanks!