add xml:id attributes wherever we generate the IDs (old patch saved up)
diff --git a/Doc/perl/l2hinit.perl b/Doc/perl/l2hinit.perl
index 106a74e..c2e76c7 100644
--- a/Doc/perl/l2hinit.perl
+++ b/Doc/perl/l2hinit.perl
@@ -246,7 +246,7 @@
 
 
 sub top_navigation_panel() {
-    return "\n<div id='top-navigation-panel'>\n"
+    return "\n<div id='top-navigation-panel' xml:id='top-navigation-panel'>\n"
            . make_nav_panel()
            . "<hr /></div>\n";
 }