Comment by breakingcups

All these files have been out there for ages. Especially the WRK, which anyone with a .edu could already download.