http://www.debian.org/doc/manuals/project-history/ch-leaders

[Morgan Tocker]

Hi,

On this page, it reads "Martin Michlmayr was elected in March 2003 and
is our current leader."

I followed this page from <http://www.debian.org/devel/leader>. 
Should it make mention of Branden?

Cheers,
Morgan