They didn't actually mention what channels they went through. What would an "official channel" look like, in this case?
Also, perhaps they didn't want to spend the $5k on a lawyer to draw up an official document, hoping that a simple request would suffice. Understandable, and laudable - as is Mozilla's refusal to comply with what is nothing more than a request.
They don't need official channels... they can just take the domain name for providing a plug-in that links to pirated content. The Mozilla domain might pull up a DHS graphic any day now! (it would be interesting if the DHS would go so far as to take down a site used by millions... but you never know as it appears DHS is above the law)
> Also, perhaps they didn't want to spend the $5k on a lawyer
a government bureaucrat letting pass a chance to send more work to his lawyer friend? Nope. They just do not risk yet to attack Mozilla on such a shaky ground as declaring such an add-on as a paraphernalia of copyright infringement. Yet, it is just a matter of time. They will start with somebody less popular than Mozilla.
Also, perhaps they didn't want to spend the $5k on a lawyer to draw up an official document, hoping that a simple request would suffice. Understandable, and laudable - as is Mozilla's refusal to comply with what is nothing more than a request.