Hi All Sorry to butt in but
https://www.debian.org/doc/manuals/project-history/ch-leaders This page says Lucas Nussbaum was elected in April 2013 and is our current leader. But this page https://www.debian.org/devel/leader says The current Debian Project Leader is Neil McGovern. Just thought I'd let you know as I was getting confused :) Thanks Paul [MooDoo]
