I hope some of them are part of our community and post here about their experience and the process.
Yes, I have seen a couple of them in this forum, including a merit source who was the victim of Mt. Gox. I am sure they see the discussions about Mt. Gox, and they write their feelings as well. But I also heard that a lot of Mt. Gox victims sold their accounts for a couple of dollars because they thought it was not worth anything anymore. But, I am not sure who was the buyer and if they got some benefit from those accounts.
Cashing out is the right thing to do, but given how Bitcoin has performed in the market all these years, you would not cash out all of it. You expect a better price in the future; that's when you will cash out.
They are OG Bitcoiners. So, I believe they have a understanding of Bitcoin market and I want to believe that most of them will end up holding a tiny portion of their holdings for the future. We never know what could happen in the future. If you ask me, I would have hold at least 10% of it for the future.