From 65fccc0fec773a745b1b6363aa5c0cd433949830 Mon Sep 17 00:00:00 2001
From: alexbiehl <alex.biehl@gmail.com>
Date: Tue, 25 Apr 2017 07:16:05 +0200
Subject: Use new MathJax URL in html-test

18ed871afb82560d5433b2f53e31b4db9353a74e switched to a new MathJax URL
but didn't update the tests.
---
 html-test/ref/Bug298.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html-test/ref/Bug298.html')

diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html
index 6204819e..a748e92a 100644
--- a/html-test/ref/Bug298.html
+++ b/html-test/ref/Bug298.html
@@ -6,7 +6,7 @@
     ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
      /><script src="haddock-util.js" type="text/javascript"
     ></script
-    ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
     ></script
     ><script type="text/javascript"
     >//
@@ -137,4 +137,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug298.html&quot;
     ></div
     ></body
   ></html
->
\ No newline at end of file
+>
-- 
cgit v1.2.3


From 4346ad26ac1346aa5e59991315f6969c844bea60 Mon Sep 17 00:00:00 2001
From: alexbiehl <alex.biehl@gmail.com>
Date: Wed, 26 Apr 2017 07:07:04 +0200
Subject: Remove anything related to obsolete frames mode

---
 .../resources/html/Ocean.std-theme/ocean.css       |   4 -
 haddock-api/resources/html/haddock-util.js         | 132 +--------------------
 haddock-api/src/Haddock/Backends/Xhtml.hs          |  70 ++---------
 html-test/ref/A.html                               |   4 +-
 html-test/ref/B.html                               |   4 +-
 html-test/ref/Bold.html                            |   4 +-
 html-test/ref/Bug1.html                            |   4 +-
 html-test/ref/Bug195.html                          |   4 +-
 html-test/ref/Bug2.html                            |   4 +-
 html-test/ref/Bug201.html                          |   4 +-
 html-test/ref/Bug253.html                          |   4 +-
 html-test/ref/Bug26.html                           |   4 +-
 html-test/ref/Bug280.html                          |  21 ++--
 html-test/ref/Bug294.html                          |   4 +-
 html-test/ref/Bug298.html                          |   4 +-
 html-test/ref/Bug3.html                            |   4 +-
 html-test/ref/Bug308.html                          |   4 +-
 html-test/ref/Bug308CrossModule.html               |   4 +-
 html-test/ref/Bug310.html                          |   4 +-
 html-test/ref/Bug313.html                          |   4 +-
 html-test/ref/Bug335.html                          |   4 +-
 html-test/ref/Bug387.html                          |   4 +-
 html-test/ref/Bug4.html                            |   4 +-
 html-test/ref/Bug6.html                            |   4 +-
 html-test/ref/Bug7.html                            |   4 +-
 html-test/ref/Bug8.html                            |   2 +-
 html-test/ref/Bug85.html                           |   4 +-
 html-test/ref/BugDeprecated.html                   |   4 +-
 html-test/ref/BugExportHeadings.html               |   4 +-
 html-test/ref/Bugs.html                            |   4 +-
 html-test/ref/DeprecatedClass.html                 |   4 +-
 html-test/ref/DeprecatedData.html                  |   4 +-
 html-test/ref/DeprecatedFunction.html              |   4 +-
 html-test/ref/DeprecatedFunction2.html             |   4 +-
 html-test/ref/DeprecatedFunction3.html             |   4 +-
 html-test/ref/DeprecatedModule.html                |   4 +-
 html-test/ref/DeprecatedModule2.html               |   4 +-
 html-test/ref/DeprecatedNewtype.html               |   4 +-
 html-test/ref/DeprecatedReExport.html              |   4 +-
 html-test/ref/DeprecatedRecord.html                |   4 +-
 html-test/ref/DeprecatedTypeFamily.html            |   4 +-
 html-test/ref/DeprecatedTypeSynonym.html           |   4 +-
 html-test/ref/Examples.html                        |   4 +-
 html-test/ref/Extensions.html                      |   4 +-
 html-test/ref/FunArgs.html                         |   4 +-
 html-test/ref/GADTRecords.html                     |   4 +-
 html-test/ref/Hash.html                            |   4 +-
 html-test/ref/HiddenInstances.html                 |   4 +-
 html-test/ref/HiddenInstancesB.html                |   4 +-
 html-test/ref/Hyperlinks.html                      |   4 +-
 html-test/ref/IgnoreExports.html                   |   4 +-
 html-test/ref/ImplicitParams.html                  |   4 +-
 html-test/ref/Instances.html                       |   2 +-
 html-test/ref/Math.html                            |   4 +-
 html-test/ref/Minimal.html                         |   2 +-
 html-test/ref/ModuleWithWarning.html               |   4 +-
 html-test/ref/NamedDoc.html                        |   4 +-
 html-test/ref/Nesting.html                         |   4 +-
 html-test/ref/NoLayout.html                        |   4 +-
 html-test/ref/NonGreedy.html                       |   4 +-
 html-test/ref/Operators.html                       |   2 +-
 html-test/ref/OrphanInstances.html                 |   4 +-
 html-test/ref/OrphanInstancesClass.html            |   4 +-
 html-test/ref/OrphanInstancesType.html             |   4 +-
 html-test/ref/PatternSyns.html                     |   2 +-
 html-test/ref/PromotedTypes.html                   |   4 +-
 html-test/ref/Properties.html                      |   4 +-
 html-test/ref/PruneWithWarning.html                |   4 +-
 html-test/ref/QuasiExpr.html                       |   4 +-
 html-test/ref/QuasiQuote.html                      |   4 +-
 html-test/ref/SpuriousSuperclassConstraints.html   |   2 +-
 html-test/ref/TH.html                              |   4 +-
 html-test/ref/TH2.html                             |   2 +-
 html-test/ref/Test.html                            |   4 +-
 html-test/ref/Threaded.html                        |   4 +-
 html-test/ref/Threaded_TH.html                     |   2 +-
 html-test/ref/Ticket112.html                       |   4 +-
 html-test/ref/Ticket61.html                        |   4 +-
 html-test/ref/Ticket75.html                        |   4 +-
 html-test/ref/TitledPicture.html                   |   4 +-
 html-test/ref/TypeFamilies.html                    |   4 +-
 html-test/ref/TypeFamilies2.html                   |   4 +-
 html-test/ref/TypeOperators.html                   |   4 +-
 html-test/ref/Unicode.html                         |   4 +-
 html-test/ref/Visible.html                         |   4 +-
 html-test/ref/haddock-util.js                      | 132 +--------------------
 86 files changed, 174 insertions(+), 493 deletions(-)

(limited to 'html-test/ref/Bug298.html')

diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css
index 9d2c644f..3bfc8982 100644
--- a/haddock-api/resources/html/Ocean.std-theme/ocean.css
+++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css
@@ -327,10 +327,6 @@ div#style-menu-holder {
 }
 
 #synopsis {
-  display: none;
-}
-
-.no-frame #synopsis {
   display: block;
   position: fixed;
   right: 0;
diff --git a/haddock-api/resources/html/haddock-util.js b/haddock-api/resources/html/haddock-util.js
index 92d07d2a..05bdaef5 100644
--- a/haddock-api/resources/html/haddock-util.js
+++ b/haddock-api/resources/html/haddock-util.js
@@ -1,7 +1,7 @@
 // Haddock JavaScript utilities
 
 var rspace = /\s\s+/g,
-	  rtrim = /^\s+|\s+$/g;
+    rtrim = /^\s+|\s+$/g;
 
 function spaced(s) { return (" " + s + " ").replace(rspace, " "); }
 function trim(s)   { return s.replace(rtrim, ""); }
@@ -109,136 +109,6 @@ function getCookie(name) {
   return null;
 }
 
-
-
-var max_results = 75; // 50 is not enough to search for map in the base libraries
-var shown_range = null;
-var last_search = null;
-
-function quick_search()
-{
-    perform_search(false);
-}
-
-function full_search()
-{
-    perform_search(true);
-}
-
-
-function perform_search(full)
-{
-    var text = document.getElementById("searchbox").value.toLowerCase();
-    if (text == last_search && !full) return;
-    last_search = text;
-
-    var table = document.getElementById("indexlist");
-    var status = document.getElementById("searchmsg");
-    var children = table.firstChild.childNodes;
-
-    // first figure out the first node with the prefix
-    var first = bisect(-1);
-    var last = (first == -1 ? -1 : bisect(1));
-
-    if (first == -1)
-    {
-        table.className = "";
-        status.innerHTML = "No results found, displaying all";
-    }
-    else if (first == 0 && last == children.length - 1)
-    {
-        table.className = "";
-        status.innerHTML = "";
-    }
-    else if (last - first >= max_results && !full)
-    {
-        table.className = "";
-        status.innerHTML = "More than " + max_results + ", press Search to display";
-    }
-    else
-    {
-        // decide what you need to clear/show
-        if (shown_range)
-            setclass(shown_range[0], shown_range[1], "indexrow");
-        setclass(first, last, "indexshow");
-        shown_range = [first, last];
-        table.className = "indexsearch";
-        status.innerHTML = "";
-    }
-
-
-    function setclass(first, last, status)
-    {
-        for (var i = first; i <= last; i++)
-        {
-            children[i].className = status;
-        }
-    }
-
-
-    // do a binary search, treating 0 as ...
-    // return either -1 (no 0's found) or location of most far match
-    function bisect(dir)
-    {
-        var first = 0, finish = children.length - 1;
-        var mid, success = false;
-
-        while (finish - first > 3)
-        {
-            mid = Math.floor((finish + first) / 2);
-
-            var i = checkitem(mid);
-            if (i == 0) i = dir;
-            if (i == -1)
-                finish = mid;
-            else
-                first = mid;
-        }
-        var a = (dir == 1 ? first : finish);
-        var b = (dir == 1 ? finish : first);
-        for (var i = b; i != a - dir; i -= dir)
-        {
-            if (checkitem(i) == 0) return i;
-        }
-        return -1;
-    }
-
-
-    // from an index, decide what the result is
-    // 0 = match, -1 is lower, 1 is higher
-    function checkitem(i)
-    {
-        var s = getitem(i).toLowerCase().substr(0, text.length);
-        if (s == text) return 0;
-        else return (s > text ? -1 : 1);
-    }
-
-
-    // from an index, get its string
-    // this abstracts over alternates
-    function getitem(i)
-    {
-        for ( ; i >= 0; i--)
-        {
-            var s = children[i].firstChild.firstChild.data;
-            if (s.indexOf(' ') == -1)
-                return s;
-        }
-        return ""; // should never be reached
-    }
-}
-
-function setSynopsis(filename) {
-    if (parent.window.synopsis && parent.window.synopsis.location) {
-        if (parent.window.synopsis.location.replace) {
-            // In Firefox this avoids adding the change to the history.
-            parent.window.synopsis.location.replace(filename);
-        } else {
-            parent.window.synopsis.location = filename;
-        }
-    }
-}
-
 function addMenuItem(html) {
   var menu = document.getElementById("page-menu");
   if (menu) {
diff --git a/haddock-api/src/Haddock/Backends/Xhtml.hs b/haddock-api/src/Haddock/Backends/Xhtml.hs
index 31a748cb..34ecc5b8 100644
--- a/haddock-api/src/Haddock/Backends/Xhtml.hs
+++ b/haddock-api/src/Haddock/Backends/Xhtml.hs
@@ -108,8 +108,8 @@ copyHtmlBits odir libdir themes = do
   return ()
 
 
-headHtml :: String -> Maybe String -> Themes -> Maybe String -> Html
-headHtml docTitle miniPage themes mathjax_url =
+headHtml :: String -> Themes -> Maybe String -> Html
+headHtml docTitle themes mathjax_url =
   header << [
     meta ! [httpequiv "Content-Type", content "text/html; charset=UTF-8"],
     thetitle << docTitle,
@@ -118,14 +118,11 @@ headHtml docTitle miniPage themes mathjax_url =
     script ! [src mjUrl, thetype "text/javascript"] << noHtml,
     script ! [thetype "text/javascript"]
         -- NB: Within XHTML, the content of script tags needs to be
-        -- a <![CDATA[ section. Will break if the miniPage name could
-        -- have "]]>" in it!
-      << primHtml (
-          "//<![CDATA[\nwindow.onload = function () {pageLoad();"
-          ++ setSynopsis ++ "};\n//]]>\n")
+        -- a <![CDATA[ section.
+      << primHtml
+          "//<![CDATA[\nwindow.onload = function () {pageLoad();};\n//]]>\n"
     ]
   where
-    setSynopsis = maybe "" (\p -> "setSynopsis(\"" ++ p ++ "\");") miniPage
     mjUrl = maybe "https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" id mathjax_url
 
 
@@ -271,7 +268,7 @@ ppHtmlContents dflags odir doctitle _maybe_package
          | iface <- ifaces
          , instIsSig iface]
       html =
-        headHtml doctitle Nothing themes mathjax_url +++
+        headHtml doctitle themes mathjax_url +++
         bodyHtml doctitle Nothing
           maybe_source_url maybe_wiki_url
           Nothing maybe_index_url << [
@@ -372,7 +369,7 @@ ppHtmlIndex odir doctitle _maybe_package themes
 
   where
     indexPage showLetters ch items =
-      headHtml (doctitle ++ " (" ++ indexName ch ++ ")") Nothing themes maybe_mathjax_url +++
+      headHtml (doctitle ++ " (" ++ indexName ch ++ ")") themes maybe_mathjax_url +++
       bodyHtml doctitle Nothing
         maybe_source_url maybe_wiki_url
         maybe_contents_url Nothing << [
@@ -494,7 +491,7 @@ ppHtmlModule odir doctitle themes
         = toHtml mdl_str
       real_qual = makeModuleQual qual aliases mdl
       html =
-        headHtml mdl_str_annot (Just $ "mini_" ++ moduleHtmlFile mdl) themes maybe_mathjax_url +++
+        headHtml mdl_str_annot themes maybe_mathjax_url +++
         bodyHtml doctitle (Just iface)
           maybe_source_url maybe_wiki_url
           maybe_contents_url maybe_index_url << [
@@ -504,24 +501,10 @@ ppHtmlModule odir doctitle themes
 
   createDirectoryIfMissing True odir
   writeFile (joinPath [odir, moduleHtmlFile mdl]) (renderToString debug html)
-  ppHtmlModuleMiniSynopsis odir doctitle themes maybe_mathjax_url iface unicode real_qual debug
 
 signatureDocURL :: String
 signatureDocURL = "https://wiki.haskell.org/Module_signature"
 
-ppHtmlModuleMiniSynopsis :: FilePath -> String -> Themes
-  -> Maybe String -> Interface -> Bool -> Qualification -> Bool -> IO ()
-ppHtmlModuleMiniSynopsis odir _doctitle themes maybe_mathjax_url iface unicode qual debug = do
-  let mdl = ifaceMod iface
-      html =
-        headHtml (moduleString mdl) Nothing themes maybe_mathjax_url +++
-        miniBody <<
-          (divModuleHeader << sectionName << moduleString mdl +++
-           miniSynopsis mdl iface unicode qual)
-  createDirectoryIfMissing True odir
-  writeFile (joinPath [odir, "mini_" ++ moduleHtmlFile mdl]) (renderToString debug html)
-
-
 ifaceToHtml :: SourceURLs -> WikiURLs -> Interface -> Bool -> Qualification -> Html
 ifaceToHtml maybe_source_url maybe_wiki_url iface unicode qual
   = ppModuleContents qual exports (not . null $ ifaceRnOrphanInstances iface) +++
@@ -572,43 +555,6 @@ ifaceToHtml maybe_source_url maybe_wiki_url iface unicode qual
     linksInfo = (maybe_source_url, maybe_wiki_url)
 
 
-miniSynopsis :: Module -> Interface -> Bool -> Qualification -> Html
-miniSynopsis mdl iface unicode qual =
-    divInterface << concatMap (processForMiniSynopsis mdl unicode qual) exports
-  where
-    exports = numberSectionHeadings (ifaceRnExportItems iface)
-
-
-processForMiniSynopsis :: Module -> Bool -> Qualification -> ExportItem DocName
-                       -> [Html]
-processForMiniSynopsis mdl unicode qual ExportDecl { expItemDecl = L _loc decl0 } =
-  ((divTopDecl <<).(declElem <<)) <$> case decl0 of
-    TyClD d -> let b = ppTyClBinderWithVarsMini mdl d in case d of
-        (FamDecl decl)    -> [ppTyFamHeader True False decl unicode qual]
-        (DataDecl{})   -> [keyword "data" <+> b]
-        (SynDecl{})    -> [keyword "type" <+> b]
-        (ClassDecl {}) -> [keyword "class" <+> b]
-    SigD (TypeSig lnames _) ->
-      map (ppNameMini Prefix mdl . nameOccName . getName . unLoc) lnames
-    _ -> []
-processForMiniSynopsis _ _ qual (ExportGroup lvl _id txt) =
-  [groupTag lvl << docToHtml Nothing qual (mkMeta txt)]
-processForMiniSynopsis _ _ _ _ = []
-
-
-ppNameMini :: Notation -> Module -> OccName -> Html
-ppNameMini notation mdl nm =
-    anchor ! [ href (moduleNameUrl mdl nm)
-             , target mainFrameName ]
-      << ppBinder' notation nm
-
-
-ppTyClBinderWithVarsMini :: Module -> TyClDecl DocName -> Html
-ppTyClBinderWithVarsMini mdl decl =
-  let n = tcdName decl
-      ns = tyvarNames $ tcdTyVars decl -- it's safe to use tcdTyVars, see code above
-  in ppTypeApp n [] ns (\is_infix -> ppNameMini is_infix mdl . nameOccName . getName) ppTyName
-
 ppModuleContents :: Qualification
                  -> [ExportItem DocName]
                  -> Bool -- ^ Orphans sections
diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index 64a2916b..edd95fe8 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_A.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -183,4 +183,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_A.html&quot;);};
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/B.html b/html-test/ref/B.html
index b1e43a51..f4ce89d4 100644
--- a/html-test/ref/B.html
+++ b/html-test/ref/B.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_B.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -171,4 +171,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_B.html&quot;);};
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html
index d8f8b3d4..a7cb4e7f 100644
--- a/html-test/ref/Bold.html
+++ b/html-test/ref/Bold.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bold.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -95,4 +95,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bold.html&quot;);
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html
index 5ea4ff26..37a37527 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug1.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -98,4 +98,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug1.html&quot;);
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html
index b7f10741..ca5c2cc0 100644
--- a/html-test/ref/Bug195.html
+++ b/html-test/ref/Bug195.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug195.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -181,4 +181,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug195.html&quot;
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html
index 98d7f06d..5b88feae 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug2.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -61,4 +61,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug2.html&quot;);
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html
index 19cb1aae..04cb0991 100644
--- a/html-test/ref/Bug201.html
+++ b/html-test/ref/Bug201.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug201.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -100,4 +100,4 @@ because there's a space before closing @
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html
index 2210b023..28482b24 100644
--- a/html-test/ref/Bug253.html
+++ b/html-test/ref/Bug253.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug253.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -95,4 +95,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug253.html&quot;
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index 9382a738..8b0644aa 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug26.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -203,4 +203,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug26.html&quot;)
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html
index fa8ca0de..6c533a28 100644
--- a/html-test/ref/Bug280.html
+++ b/html-test/ref/Bug280.html
@@ -1,4 +1,3 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml"
 ><head
   ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
@@ -10,9 +9,9 @@
     ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
     ></script
     ><script type="text/javascript"
-    >//<![CDATA[
-window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");};
-//]]>
+    >//
+window.onload = function () {pageLoad();};
+//
 </script
     ></head
   ><body
@@ -28,7 +27,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");};
 	  ></li
 	></ul
       ><p class="caption empty"
-      >&nbsp;</p
+      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
@@ -38,8 +37,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");};
 	    >Copyright</th
 	    ><td
 	    >Foo<br
-         />Bar<br
-         />Baz</td
+	       />Bar<br
+	       />Baz</td
 	    ></tr
 	  ><tr
 	  ><th
@@ -55,9 +54,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");};
       ><p class="caption"
 	>Description</p
 	><div class="doc"
-		><p
-		>The module description</p
-		></div
+	><p
+	  >The module description</p
+	  ></div
 	></div
       ><div id="interface"
       ><h1
@@ -78,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");};
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index 44aad9d1..3a82af80 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug294.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -229,4 +229,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug294.html&quot;
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html
index a748e92a..cba626b6 100644
--- a/html-test/ref/Bug298.html
+++ b/html-test/ref/Bug298.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug298.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -137,4 +137,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug298.html&quot;
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html
index d5f589ed..4a9cf8bc 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug3.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -78,4 +78,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug3.html&quot;);
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html
index 03f287d5..d816fef5 100644
--- a/html-test/ref/Bug308.html
+++ b/html-test/ref/Bug308.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug308.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -109,4 +109,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug308.html&quot;
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html
index d9ed0b19..60f371af 100644
--- a/html-test/ref/Bug308CrossModule.html
+++ b/html-test/ref/Bug308CrossModule.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug308CrossModule.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -87,4 +87,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug308CrossModule
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 2ba8dfb9..468e64eb 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug310.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -97,4 +97,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug310.html&quot;
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html
index a6573eaa..4fc1682c 100644
--- a/html-test/ref/Bug313.html
+++ b/html-test/ref/Bug313.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug313.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -130,4 +130,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug313.html&quot;
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html
index f9eec481..d1602c7b 100644
--- a/html-test/ref/Bug335.html
+++ b/html-test/ref/Bug335.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug335.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -123,4 +123,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug335.html&quot;
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html
index 6305a38d..27d47e75 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug387.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -109,4 +109,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug387.html&quot;
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html
index 722d4102..fe6f47d1 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug4.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug4.html&quot;);
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 34fc4054..678f4070 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug6.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -335,4 +335,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug6.html&quot;);
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index cf6f2f2a..ef26d62f 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug7.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -190,4 +190,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug7.html&quot;);
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html
index d6cef1b2..1b6c1525 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug8.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html
index 8bb9b850..467dda0e 100644
--- a/html-test/ref/Bug85.html
+++ b/html-test/ref/Bug85.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug85.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -145,4 +145,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug85.html&quot;)
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index 2fb509d8..96fdab34 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_BugDeprecated.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -191,4 +191,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_BugDeprecated.htm
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index 8d444e26..2a05bed9 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_BugExportHeadings.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -211,4 +211,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_BugExportHeadings
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html
index b83036c8..c29004f3 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bugs.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bugs.html&quot;);
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index ac14b0d4..f055f36f 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedClass.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -165,4 +165,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedClass.h
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index 248de4cb..aeb2a7c8 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedData.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -187,4 +187,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedData.ht
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html
index 59206ac9..f4381d96 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunction.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -105,4 +105,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunctio
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html
index 36159359..b8985bcd 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunction2.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -79,4 +79,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunctio
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html
index 1bfc7d90..b62e1ee3 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunction3.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -79,4 +79,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunctio
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html
index a6b2e0e8..84c7a885 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedModule.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedModule.
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html
index bd7a7f31..862f79ee 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedModule2.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -71,4 +71,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedModule2
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html
index 3d826f57..a03d63fb 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedNewtype.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -153,4 +153,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedNewtype
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index e5a3c38c..52f2b8e9 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedReExport.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -120,4 +120,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedReExpor
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html
index ff217c4d..79b7b7f9 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedRecord.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -145,4 +145,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedRecord.
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index 4a5028f3..1d94e99b 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedTypeFamily.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -119,4 +119,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedTypeFam
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html
index 8f1896df..cb7a3afe 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedTypeSynonym.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -111,4 +111,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedTypeSyn
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html
index 7f742f2f..f706eef1 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Examples.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -170,4 +170,4 @@ bar
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html
index 01dde2d3..e21785c0 100644
--- a/html-test/ref/Extensions.html
+++ b/html-test/ref/Extensions.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Extensions.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -85,4 +85,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Extensions.html&q
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index 4c285c41..df597e12 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_FunArgs.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -281,4 +281,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_FunArgs.html&quot
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 6c091ac3..3b036aae 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_GADTRecords.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -211,4 +211,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_GADTRecords.html&
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index ac422955..4ad1c27e 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Hash.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -408,4 +408,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Hash.html&quot;);
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index 5071e702..8c7312d7 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_HiddenInstances.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -289,4 +289,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_HiddenInstances.h
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index b3cf9ef9..77af69d0 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_HiddenInstancesB.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -161,4 +161,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_HiddenInstancesB.
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html
index 66b14d7a..db1953e3 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Hyperlinks.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -83,4 +83,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Hyperlinks.html&q
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html
index 235d601c..262bb769 100644
--- a/html-test/ref/IgnoreExports.html
+++ b/html-test/ref/IgnoreExports.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_IgnoreExports.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -97,4 +97,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_IgnoreExports.htm
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html
index c08a565a..d22e7f4c 100644
--- a/html-test/ref/ImplicitParams.html
+++ b/html-test/ref/ImplicitParams.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_ImplicitParams.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -113,4 +113,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_ImplicitParams.ht
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index ba6ef185..b014e8df 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html
index 7e85367d..46f283e3 100644
--- a/html-test/ref/Math.html
+++ b/html-test/ref/Math.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Math.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -97,4 +97,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Math.html&quot;);
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html
index ac28b0d9..b7507bd7 100644
--- a/html-test/ref/Minimal.html
+++ b/html-test/ref/Minimal.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Minimal.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html
index a1761bce..ca7b2b3f 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_ModuleWithWarning.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_ModuleWithWarning
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html
index 631f2043..a10aa305 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_NamedDoc.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -61,4 +61,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_NamedDoc.html&quo
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html
index 370c6a88..7ce0c0d8 100644
--- a/html-test/ref/Nesting.html
+++ b/html-test/ref/Nesting.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Nesting.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -355,4 +355,4 @@ with more of the indented list content.</p
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html
index d8148b0e..43352864 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_NoLayout.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -81,4 +81,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_NoLayout.html&quo
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html
index c389fc6a..6ed1563f 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_NonGreedy.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_NonGreedy.html&qu
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index 27b3427d..d498a906 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index 0ef094d5..257e2e41 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstances.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -111,4 +111,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstances.h
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index 98641d0b..93594d90 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstancesClass.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -83,4 +83,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstancesCl
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index d616edf9..5d7a76c9 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstancesType.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstancesTy
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index 2052d87c..9f0caaa2 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html
index 5bb95fdb..6d4c57be 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_PromotedTypes.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -217,4 +217,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PromotedTypes.htm
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index 27f3a93a..4ce37acd 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Properties.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -87,4 +87,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Properties.html&q
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index 7523c657..e714ec21 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_PruneWithWarning.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -64,4 +64,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PruneWithWarning.
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index c51ac526..0b5b8054 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_QuasiExpr.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -321,4 +321,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_QuasiExpr.html&qu
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html
index 251c48dc..4919e48d 100644
--- a/html-test/ref/QuasiQuote.html
+++ b/html-test/ref/QuasiQuote.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_QuasiQuote.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -61,4 +61,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_QuasiQuote.html&q
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index 285ab05c..b7c707c5 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_SpuriousSuperclassConstraints.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html
index b0500019..c3b71206 100644
--- a/html-test/ref/TH.html
+++ b/html-test/ref/TH.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TH.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -59,4 +59,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TH.html&quot;);};
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html
index 71bc1083..5562cb67 100644
--- a/html-test/ref/TH2.html
+++ b/html-test/ref/TH2.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TH2.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 49fb4704..e84ed0dd 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -2285,4 +2285,4 @@ is at the beginning of the line).</pre
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html
index bb31f300..ac6a66b9 100644
--- a/html-test/ref/Threaded.html
+++ b/html-test/ref/Threaded.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Threaded.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -90,4 +90,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Threaded.html&quo
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html
index 2890ca6b..89f276c9 100644
--- a/html-test/ref/Threaded_TH.html
+++ b/html-test/ref/Threaded_TH.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Threaded_TH.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html
index 7e1c02aa..74b65663 100644
--- a/html-test/ref/Ticket112.html
+++ b/html-test/ref/Ticket112.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket112.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket112.html&qu
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html
index cb9ba8bd..cfc2e7f7 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket61.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -85,4 +85,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket61.html&quo
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index 07e75296..616f5d47 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket75.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -113,4 +113,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket75.html&quo
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html
index 04d1476b..927631f8 100644
--- a/html-test/ref/TitledPicture.html
+++ b/html-test/ref/TitledPicture.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TitledPicture.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -107,4 +107,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TitledPicture.htm
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index db6ee1c3..c6301a56 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -1825,4 +1825,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index 156486d0..65ab0317 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies2.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -343,4 +343,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies2.htm
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index 53428892..b461ac71 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeOperators.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -187,4 +187,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeOperators.htm
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index 59f715e8..ae1d4293 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Unicode.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Unicode.html&quot
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html
index 47568b65..d9b8cd11 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -10,7 +10,7 @@
     ></script
     ><script type="text/javascript"
     >//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Visible.html&quot;);};
+window.onload = function () {pageLoad();};
 //
 </script
     ></head
@@ -63,4 +63,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Visible.html&quot
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/haddock-util.js b/html-test/ref/haddock-util.js
index 92d07d2a..05bdaef5 100644
--- a/html-test/ref/haddock-util.js
+++ b/html-test/ref/haddock-util.js
@@ -1,7 +1,7 @@
 // Haddock JavaScript utilities
 
 var rspace = /\s\s+/g,
-	  rtrim = /^\s+|\s+$/g;
+    rtrim = /^\s+|\s+$/g;
 
 function spaced(s) { return (" " + s + " ").replace(rspace, " "); }
 function trim(s)   { return s.replace(rtrim, ""); }
@@ -109,136 +109,6 @@ function getCookie(name) {
   return null;
 }
 
-
-
-var max_results = 75; // 50 is not enough to search for map in the base libraries
-var shown_range = null;
-var last_search = null;
-
-function quick_search()
-{
-    perform_search(false);
-}
-
-function full_search()
-{
-    perform_search(true);
-}
-
-
-function perform_search(full)
-{
-    var text = document.getElementById("searchbox").value.toLowerCase();
-    if (text == last_search && !full) return;
-    last_search = text;
-
-    var table = document.getElementById("indexlist");
-    var status = document.getElementById("searchmsg");
-    var children = table.firstChild.childNodes;
-
-    // first figure out the first node with the prefix
-    var first = bisect(-1);
-    var last = (first == -1 ? -1 : bisect(1));
-
-    if (first == -1)
-    {
-        table.className = "";
-        status.innerHTML = "No results found, displaying all";
-    }
-    else if (first == 0 && last == children.length - 1)
-    {
-        table.className = "";
-        status.innerHTML = "";
-    }
-    else if (last - first >= max_results && !full)
-    {
-        table.className = "";
-        status.innerHTML = "More than " + max_results + ", press Search to display";
-    }
-    else
-    {
-        // decide what you need to clear/show
-        if (shown_range)
-            setclass(shown_range[0], shown_range[1], "indexrow");
-        setclass(first, last, "indexshow");
-        shown_range = [first, last];
-        table.className = "indexsearch";
-        status.innerHTML = "";
-    }
-
-
-    function setclass(first, last, status)
-    {
-        for (var i = first; i <= last; i++)
-        {
-            children[i].className = status;
-        }
-    }
-
-
-    // do a binary search, treating 0 as ...
-    // return either -1 (no 0's found) or location of most far match
-    function bisect(dir)
-    {
-        var first = 0, finish = children.length - 1;
-        var mid, success = false;
-
-        while (finish - first > 3)
-        {
-            mid = Math.floor((finish + first) / 2);
-
-            var i = checkitem(mid);
-            if (i == 0) i = dir;
-            if (i == -1)
-                finish = mid;
-            else
-                first = mid;
-        }
-        var a = (dir == 1 ? first : finish);
-        var b = (dir == 1 ? finish : first);
-        for (var i = b; i != a - dir; i -= dir)
-        {
-            if (checkitem(i) == 0) return i;
-        }
-        return -1;
-    }
-
-
-    // from an index, decide what the result is
-    // 0 = match, -1 is lower, 1 is higher
-    function checkitem(i)
-    {
-        var s = getitem(i).toLowerCase().substr(0, text.length);
-        if (s == text) return 0;
-        else return (s > text ? -1 : 1);
-    }
-
-
-    // from an index, get its string
-    // this abstracts over alternates
-    function getitem(i)
-    {
-        for ( ; i >= 0; i--)
-        {
-            var s = children[i].firstChild.firstChild.data;
-            if (s.indexOf(' ') == -1)
-                return s;
-        }
-        return ""; // should never be reached
-    }
-}
-
-function setSynopsis(filename) {
-    if (parent.window.synopsis && parent.window.synopsis.location) {
-        if (parent.window.synopsis.location.replace) {
-            // In Firefox this avoids adding the change to the history.
-            parent.window.synopsis.location.replace(filename);
-        } else {
-            parent.window.synopsis.location = filename;
-        }
-    }
-}
-
 function addMenuItem(html) {
   var menu = document.getElementById("page-menu");
   if (menu) {
-- 
cgit v1.2.3