@ngiger in 6c0c01c suggested adding <developers>.
(In practice I think it is foolish to do this, just like I discourage @author tags:
it leads to vanity, and the information is soon outdated when new people take over.
Git history gives you this information more reliably anyway.)