Comment by gamegoblin

Their founder guy says[1] they found some other bugs while doing this that they will report soon, so if that is true, seems more plausibly like a pretty generic thing.

Looking forward to seeing the other bugs they found.

1. https://news.ycombinator.com/item?id=49278351