Just saw this—the contract has been posted here:

https://news.ycombinator.com/item?id=25960469