Okay. That makes sense.

Contradicting false statements, even irrelevant ones, is a strong impulse in our culture (by which I mean LW culture and the broader subcultures from which it draws many of its readers). But it doesn't yet look to me like we overemphasize this.

Your recent correction of lukeprog on his use of the phrase "Aumann agreement" seemed to me to be an example of this "correcting impulse". I think it was good for you to make the correction. I would have pointed out the erroneous usage if someone had not already done so. But the incorrectness of the phrase was irrelevant to the point of his post.

Or are you using "relevance" in a sense in which lukeprog's use of the phrase "Aumann agreement" was relevant?