Disclosed in this post from last year. https://news.ycombinator.com/item?id=14851806 Would be better if that was on his public profile page, but I believe it's legit.