[eichin]

yeah, last I looked (a couple of years ago) this was a better and more complete collection than what archive.org had (and is what enabled me to get rid of most of my paper collection, though I kept some particular highlights)