current 401k match percentage in Redmond?

I left Microsoft about six months ago after 17 years. The 401k match always felt below average compared to other big techs, and I'm curious what it is now. Has it changed recently?