On Wed, July 10, 2013 16:03, Thomas Goirand wrote: > Not sure who/where I should send this, or how I can update the policy > manual myself, I think you're looking for http://wiki.debian.org/Teams/Policy, which describes the points of contact and the change process of Debian Policy. Cheers, Thijs