Just to clarify what you wrote:
The trademark policy is not regarded as an issue by Trisquel (or the FSF). Debian considers it an issue though (they want to be able to modify the browser even without contacting Mozilla). Recommending non-free software *is* an issue from Trisquel's perspective. Fixing it requires modifying the browser, hence another name for the result (respecting the trademark policy).
