Comment by ImPostingOnHN

The pension fund is the user of the stock here.

Pensioners should get the same amount regardless of investments, as long as there is enough funding, which it seems there is for the moment.

Of course, if someone wants to risk their own money, they can invest in whatever they want. They can even sell their pension for a cash lump sum and invest that.