See also https://news.ycombinator.com/item?id=40688703 which links to the court filing