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
