Comment by abrouwers

I don't agree, it's easy to set the mozilla repo as pinned / priority for apt (in fact, mozilla's 2-step instructions help you do that). I'm not sure what the second point means, are you not in charge of the package manager on your system? I can't say I've had apt run without my knowledge :-)