Formal amendment from discussion on debian-vote.  Also note at the
start of this file that it's a proposed new version.