I agree and the requirement for an exact placement of attribution is not very friendly to derivate works either. I don’t think that section 7 of AGPL allow adding anything other than the exact terms in section 7 and it has a clause that allow removing non-permissive additions to the AGPL, but I’ve sent an e-mail to FSF asking what their position is. I would be very concerned picking AGPL as a license for my projects, if section 7 allow adding clauses like that. Anyhow the clauses were added in this commit, so anything prior to 7.3.0 is normal AGPL.
Unless someone has registered the trademark for those specific purposes you’re clear. A trademarks is only valid within a specific field of purpose. Trademarks are there to avoid consumers mistaking one brand for another.
There are a lot of entertaining articles on Techdirt about companies not understanding trademark law.