Bug#877023: debian-policy: No section numbers in policy.txt.gz

[Olly Betts]

Control: forcemerge 872868 877023

Sorry, I failed to spot the existing report.

Cheers,
    Olly