Remove redundant tag in docs HTML

Documentation/ReferenceManual/ReferenceManual.HtmlHeader.html

@@ -1,4 +1,4 @@
-<script lang="text/javascript">
+<script>
     // Collapse table of contents if page gets too narrow
     function tocCollapseCheck() {
         const table = document.getElementById("TOC");