Comment by ImPostingOnHN

> Let the market decide. Of course they should own one of the largest public companies in the world.

The pension fund is the customer here. The market is already deciding. You're free to invest your own money as you see fit. The pension fund's money is not yours to decide what to do with.