FYI, the script was originally created by @grue[1-2] under GPLv2 license[3]. @EcuaMobi and i made several change/improvement. Mozilla provide guide to combine MPL 2.0 and and GPL license[4], but i don't know it can be applied for MPL 2.0 and GPLv2.
Distribution rights aren't the same as the licence's rights' itself.
Many software license including MPL 2.0 already handle how the software/source code can be distributed[5].
This is getting more and more complicated.
I thought it was a technical issue, not a legal one!
This one of mine is only a request. I have a deep respect for your work and commitment for this project.
I will handle the little hassle of having multiple extension and on a browser I do not use regularly. Nothing dramatic!