I think there are many such examples. He is not the only guy who lost so many bitcoins. Perhaps in the future there will be a service that can prevent the loss of files by saving them, and the problem will be solved for future users