That's why I said (from the actual vpn folk)

The two were often conflated because "mull" in the name. They also used many of the same resources for the prefs.js and other tweaks. (Arkenfox, tor uplift, etc)