More likely he decided to leave it in as a nerdsnipe rather than he wrote it in the first place as a nerdsnipe (seems more likely he thought he had it?)

▲

lo_zamoyski 6 days ago | parent [-]

Or he forgot about it? Why should he have a margin note at the top of his mind?

I make notes all the time that I accidentally discover years later with some amusement.

	▲	ljlolel 6 days ago \| parent [-]
		Yea I’m partly saying he came across it or remembered it much later and was amused to not correct it