GME didn't fully revert back yet, and I'm sure a lot of them realized their gains around the peak and sold.

Pensions dont make short term investments, they already had GME shares since a long time ago. They do sell when extraordinary circumstances happen and buy other stocks to hold long term again.