striptags from the global toc header to match, even though that should never be a problem

sneakers-the-rat · sneakers-the-rat · commit 573bfa1b07da · 2026-05-12T19:09:00.000-07:00
diff --git a/Doc/tools/templates/customlocaltoc.html b/Doc/tools/templates/customlocaltoc.html
@@ -19,7 +19,7 @@
 {%- else %}
       <h3>
         <a href="{{ pathto(root_doc)|e }}"
-           title="{{ docstitle|e }}">
+           title="{{ docstitle|striptags }}">
            {{ docstitle|e }}
         </a>
       </h3>
