back in 9d9aed39 (use <a id=""> instead of name, as name is not HTML5,
2023-06-01) we switched everything to id= but overlooked that id=
actually gets redacted by GitLab's sanitizer. With this, we should be
able to get the anchors through the filter even if it generates
non-conformant HTML5.

policy/tpa-rfc-2-support.md

@@ -38,7 +38,7 @@ Which we translate in the following policy proposals:
 
 # Proposal
 
-<a id="how-to-get-help"></a>
+<a name="how-to-get-help"></a>
 
 <!-- if this section gets changed, also change support.md -->
 
@@ -239,7 +239,7 @@ admins][] (see below) to upgrade their services to keep
 up with the Debian release schedule.
 
 [service admins]: #service-admins
-<a id="service-admins"></a>
+<a name="service-admins"></a>
 
 ### Service admins