Bug#879048: debian-policy: footnote links pointing to wrong location

[Reiner Herrmann <reiner@reiner-h.de>]

Package: debian-policy
Version: 4.1.1.1
Severity: minor

Dear Maintainer,

I noticed that some footnote links in the HTML output are pointing to
wrong locations.
For example in [12.3] there is a footnote "[7]", which links to "#id17".
But instead of leading to the footnote text, the target is some wrong location
in section 4.12.

Kind regards,
  Reiner

[12.3]: https://www.debian.org/doc/debian-policy/#additional-documentation