I agree with joy's reply. Additionally...
I understand the reason why it was done, and it would certainly be great if the Mozilla foundation had a sane Trademark license, but in the mean time IAFAIK the first problem is not the trademark policy, but the logos license. I consider Mozilla reasonable to require that its trademarked names be only used with the corresponding trademarked logos, but not reasonable to not license the logos under a DFSG-free license.would very much like if people remembered the G in DFSG a bit more often.
It surprises me that a Debian contributor treats this topic after the release. This is not a difficult to catch bug. We knew that Etch would release like that, and we expected some reviews to mention it. The time to do something avoid it was before the issue entered stable. Anyway, if you still want to do something about it, be more helpful than the story writer, don't just mention an issue we already know, and start a poll/GR to add an exception to the DFSG to copyright licensing of logos, or something.