@harrisj I would love it. In the age of NetFlix and Steam, why not? Put it on http://archive.org, and then there’ll be a torrent. Maybe @textfiles will let you add it to the datasets collection. https://archive.org/details/datasets