xlint: whitelist people.debian.org.