3 ms·

I found a source that came out afterwards and made the appropriate edit. I am surprised slashdot did not provide a redaction in the original link.