You're absolutely right, thanks for catching this. Firefox' addon system is a real boon and the solution that works if you can't/don't want to root.

Before that I was getting frustrated by filtering pseudo-VPN apps and rooting is not an option anymore (sec-wise and because of Google SafetyNet).