Don’t know if distribution has happened yet. But there were at least a few investors buying claims, so plenty of people were able to cash out.

You could say that’s actually a better outcome than losing your private key.