3 ms·

I did that too :). I also left a comment, but then comments were apparently closed before they added mine. This post was a last ditch effort.