4 ms·

Personally, I don't see much harm in giving a Wikipedia page to anyone who ever lived. I feel the same way.