The following doc is out of date: https://www.debian.org/doc/manuals/project-history/ch-leaders It lists Lucas Nussbaum as our current leader. Cheers, Brian