3 ms·He knows that; that's the joke.by Eliezer 18y agoHe knows that; that's the joke.bstadil 18y agoI kind of suspected that but not sure plus most of the HN readers unlikely to know this somewhat obscure piece of information. Hence the comment.andreyf 18y agoUm, the rest of that paragraph is sarcastic, too, FYI...