If we could move all contributions over to CONTRIBUTORS.txt, that helps a lot with Debian license management.