Last I checked pocket and VPN didn't make that much, I was... somewhat? mistaken however, page 6 is relevant https://assets.mozilla.net/annualreport/2024/mozilla-fdn-2023-fs-final-short-1209.pdf and indeed pocket + VPN are might actually be a significant amount of funding here, it's hard to tell from just this since it's lumped in with advertising.