[Well-Typed Blog] GHC activities report: December 2024–February 2025