3 ms·

I don't know if you spotted it, but they added your comment to the footnotes at the bottom of the page now.