And in other news (elliptic curve of rank 31): https://news.ycombinator.com/item?id=49412774

Announced by the same people, basically at the same time.