Nevermind who mined that time, either Hal or Satoshi. They need to spend their funds, of course. Whenever a question was raised, I always said they must have access to their wallet. Because Satoshi or whoever mined Bitcoin at that time knows very well how to secure wallet seed phrases. They were brilliant who contributed from the beginning of the Bitcoin journey. So this isn't surprising to me. It's never harmful for the Bitcoin community as well. I don't believe Satoshi or the next generation of Hal would be a threat for the Bitcoin community. They are free to sell their holdings and enjoy their lives as well.