A veritable mountain out of a molehill. I say this for three reasons:
I. The fork might not be bad--their code could end up finding its way into the mainstream program. Unlikely, but still possible nonetheless.
II. The GNU zealots want to remove the branding (a la CentOS) and release it under their own license. As far as I know (and I could be wrong), the MPL doesn't forbid this. But for this to actually succeed, what they put in there has to be clean-sheeted.
III: Nobody's forcing anyone to use it--if it's installed, all one has to do is remove it.
I won't use it--I guarantee you that much.
Why not, you use all of Stallman's other software without hesitation, don't tell me you're finally growing up?