3 ms·

I'm sure they would have, too, but they didn't and adding pseudo-information to the result isn't going to improve much even if it is prettier.