Quick fix..

[Brian Gupta]

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