Trademarks aren't necessarily the same issue as copyright, but in this case, it does seem like leaving them alone would be best, since they (Arch) assert that they haven't used it since 2007. What with asking the community to intervene, however, it's likely too late for that.