[Eliezer]

He knows that; that's the joke.

[bstadil]

I 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]

Um, the rest of that paragraph is sarcastic, too, FYI...