Comment by dunham

Fortunately I am not tempted by that particular bale of hay, but I do have 316 pdf files on my desktop. (Mostly about type theory.)