It would be a tragedy if he had to spend his time managing a bunch of money he can't take with him anyway instead of doing what he loves and benefiting us all. It would be as big a waste as if he was broke and had to flip burgers to make ends meet. This is a rare case where reality seems to actually be optimized for all involved.
We, the collective we, have done exceptionally well in this deal, and Linus probably has as well.
You make it sound like such an onerous task to manage tens of millions of dollars. Sure he might feel the need to spend some time on it - but he might just as likely leave it to an investment manager or put it in an index fund. Or even invest some of it in a startup or two.
We, the collective we, have done exceptionally well in this deal, and Linus probably has as well.