4 ms·

I'm sure he does know. Going into a long parenthetical aside about the IOCCC wouldn't really have improved the article would it?