I think the community has accepted that Satoshi will never use his coins. He literally has millions of them. If any of those were moved, it would send shockwaves to the markets. It would be better if he indeed has lost his keys.