It's not mentioned in their post, but Mozilla VPN is a brand/browser integration of Mullvad, which is excellent, so that's what they're using underneath the branding.