it becomes everyone's freedom to manage their finances in investing, every thing is considered good or bad and only time will tell. Hope we are always wise in making decisions
Why are you so worried about if it's a wise decision when he chose Bitcoin and Ethereum to invest in the first place? I'm sure he's doing his own research and $25mn is just a small amount if you compare it to their total funds. It's actually helping the adoption of Bitcoin to move fast and soon people will recognize Bitcoin as a currency.
Imagine a government employee investing in Bitcoin and is planning to hodl it for a long time? Although, we don't know what are their plan in the future about of the money but I guess inflation had something to do with it that's why he made a wise decision to invest their retirement funds.