3 ms·

Thanks for pointing this out! I had no idea something like this would happen by filling in a comment box in the original post window.