4 ms·

I don't know why you're getting downvoted, either. Your comment contributed positively to the discussion. No need for downvotes here.