Hello,I agree with your proposal to do nothing to protect the Debian trademark under the copyright law using the DOULL since the trademark is automatically protected under the trademark law and we should enforce it by this mean only.
Regards Pompee William