Fix test fallout (again)

90 files changed, 450 insertions, 0 deletions

diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index 796ab6c3..daed1aaf 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -187,6 +187,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/B.html b/html-test/ref/B.html
index 0932ca8a..b16babe3 100644
--- a/html-test/ref/B.html
+++ b/html-test/ref/B.html
@@ -175,6 +175,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html
index 699c9e8c..ba7599f5 100644
--- a/html-test/ref/Bold.html
+++ b/html-test/ref/Bold.html
@@ -99,6 +99,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html
index dee23b63..d2b95503 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -102,6 +102,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html
index 22aa0062..17e2b7d6 100644
--- a/html-test/ref/Bug195.html
+++ b/html-test/ref/Bug195.html
@@ -185,6 +185,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html
index 1288e8b2..08529a6a 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -65,6 +65,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html
index a45b35b0..12e8f61f 100644
--- a/html-test/ref/Bug201.html
+++ b/html-test/ref/Bug201.html
@@ -104,6 +104,11 @@ because there's a space before closing @
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html
index 8e40bc67..f217782a 100644
--- a/html-test/ref/Bug253.html
+++ b/html-test/ref/Bug253.html
@@ -99,6 +99,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index 7830ca4e..d5bcf7a4 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -207,6 +207,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html
index 49c3744a..d5ba688d 100644
--- a/html-test/ref/Bug280.html
+++ b/html-test/ref/Bug280.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index f1df4e9b..95a93013 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -233,6 +233,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html
index d9c75fad..5738da0f 100644
--- a/html-test/ref/Bug298.html
+++ b/html-test/ref/Bug298.html
@@ -141,6 +141,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html
index 3f8a5865..28d56619 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -82,6 +82,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html
index a1c67ae6..816a520f 100644
--- a/html-test/ref/Bug308.html
+++ b/html-test/ref/Bug308.html
@@ -113,6 +113,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html
index d722d724..3f2ffc38 100644
--- a/html-test/ref/Bug308CrossModule.html
+++ b/html-test/ref/Bug308CrossModule.html
@@ -91,6 +91,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index f3e2f6b3..da7990aa 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -101,6 +101,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html
index e5c17a3c..e09de048 100644
--- a/html-test/ref/Bug313.html
+++ b/html-test/ref/Bug313.html
@@ -134,6 +134,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html
index b143c903..4409919a 100644
--- a/html-test/ref/Bug335.html
+++ b/html-test/ref/Bug335.html
@@ -127,6 +127,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html
index b1e30fd2..a46efb6f 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -113,6 +113,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html
index 936382a2..fdfff8f8 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 6843d637..04eabc9a 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -339,6 +339,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html
index 7bac01ee..29924ddd 100644
--- a/html-test/ref/Bug613.html
+++ b/html-test/ref/Bug613.html
@@ -261,6 +261,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html
index 357ac199..da4ce87f 100644
--- a/html-test/ref/Bug647.html
+++ b/html-test/ref/Bug647.html
@@ -115,6 +115,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index 352fcb2a..f7ac658c 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -194,6 +194,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html
index 9bb0f928..989f7648 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -151,6 +151,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html
index 441a3c33..89d18f69 100644
--- a/html-test/ref/Bug85.html
+++ b/html-test/ref/Bug85.html
@@ -149,6 +149,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index c1083f1a..8ea6d3c8 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -195,6 +195,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index 307fe811..49d4a723 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -215,6 +215,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html
index a29d8a38..6fccb350 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html
index 48091cb9..4f6fce89 100644
--- a/html-test/ref/BundledPatterns.html
+++ b/html-test/ref/BundledPatterns.html
@@ -475,6 +475,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html
index d21586c8..ccdd2495 100644
--- a/html-test/ref/BundledPatterns2.html
+++ b/html-test/ref/BundledPatterns2.html
@@ -473,6 +473,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html
index 4b4fa559..1f6c50dc 100644
--- a/html-test/ref/ConstructorPatternExport.html
+++ b/html-test/ref/ConstructorPatternExport.html
@@ -125,6 +125,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index 4484ba61..afc04efd 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -169,6 +169,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index 929cb0d6..ba7b6659 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -191,6 +191,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html
index dd584b0c..efb9ab82 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -109,6 +109,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html
index 92963b68..979777a6 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -83,6 +83,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html
index e6a28442..37e14e83 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -83,6 +83,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html
index 5f4c1dc1..04ecfa7b 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html
index da66d4ef..d0db0ccb 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -75,6 +75,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html
index ce185be4..53bb911d 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -157,6 +157,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index 9fe8013a..255abcd2 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -124,6 +124,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html
index f2583219..c2ffda7f 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -149,6 +149,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index 28971655..928c57cc 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -123,6 +123,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html
index 8a91396a..3933d8bb 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -115,6 +115,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html
index f26f1b6b..4dcee372 100644
--- a/html-test/ref/DuplicateRecordFields.html
+++ b/html-test/ref/DuplicateRecordFields.html
@@ -161,6 +161,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html
index be6a720a..94784a2b 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -174,6 +174,11 @@ bar
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html
index 0eeced80..4ef4d5e6 100644
--- a/html-test/ref/Extensions.html
+++ b/html-test/ref/Extensions.html
@@ -89,6 +89,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index 099fc845..28ab10e8 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -285,6 +285,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 8ca26c2a..1719faad 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -215,6 +215,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index 9c22a23b..532578b0 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -412,6 +412,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index 94bd3cd5..060fbe36 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -293,6 +293,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index 0eab9268..49a2efb8 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -165,6 +165,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html
index f295fc2c..3a684b6d 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -87,6 +87,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html
index 9a0b505e..c4290be3 100644
--- a/html-test/ref/IgnoreExports.html
+++ b/html-test/ref/IgnoreExports.html
@@ -101,6 +101,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html
index bd297998..1e6c7480 100644
--- a/html-test/ref/ImplicitParams.html
+++ b/html-test/ref/ImplicitParams.html
@@ -117,6 +117,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index 13e6f6f5..54999636 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -1989,6 +1989,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html
index b9efb161..be9e4f4b 100644
--- a/html-test/ref/Math.html
+++ b/html-test/ref/Math.html
@@ -101,6 +101,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html
index 581985d0..cfa00316 100644
--- a/html-test/ref/Minimal.html
+++ b/html-test/ref/Minimal.html
@@ -329,6 +329,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html
index a15c680f..18a72eab 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html
index b50d476b..fb2c3acd 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -65,6 +65,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html
index 5b275ad9..db3066b4 100644
--- a/html-test/ref/Nesting.html
+++ b/html-test/ref/Nesting.html
@@ -359,6 +359,11 @@ with more of the indented list content.</p
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html
index 5aaf89c5..abb3db02 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -85,6 +85,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html
index 8c411cce..7d5d3266 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index 25f6930b..c2193b3e 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -537,6 +537,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index 0384dbc9..e6086280 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -115,6 +115,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index b4c7a7b6..0d1b292b 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -87,6 +87,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index e4cde460..8f25f06c 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html
index 21f46cb1..9eb62bd7 100644
--- a/html-test/ref/PR643.html
+++ b/html-test/ref/PR643.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html
index eb7e94f7..cef7ea9c 100644
--- a/html-test/ref/PR643_1.html
+++ b/html-test/ref/PR643_1.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index de16cd8d..6b5b1109 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -394,6 +394,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html
index ddbef022..828d5224 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -221,6 +221,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index 846be506..a34c98e6 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -91,6 +91,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index b5e0cad0..f657ff00 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -68,6 +68,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index 3c58a60b..90ef9d72 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -325,6 +325,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html
index 1ef98212..34899f45 100644
--- a/html-test/ref/QuasiQuote.html
+++ b/html-test/ref/QuasiQuote.html
@@ -65,6 +65,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index 5eccdb51..89557969 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -233,6 +233,11 @@ Fix spurious superclass constraints bug.</pre
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html
index b5500ac4..6a5d867b 100644
--- a/html-test/ref/TH.html
+++ b/html-test/ref/TH.html
@@ -63,6 +63,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html
index ac5ba3d7..03f89dda 100644
--- a/html-test/ref/TH2.html
+++ b/html-test/ref/TH2.html
@@ -63,6 +63,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 97299778..ad81d14e 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -2289,6 +2289,11 @@ is at the beginning of the line).</pre
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html
index 05f91d5f..323ace5e 100644
--- a/html-test/ref/Threaded.html
+++ b/html-test/ref/Threaded.html
@@ -94,6 +94,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></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 d109476b..4065112e 100644
--- a/html-test/ref/Threaded_TH.html
+++ b/html-test/ref/Threaded_TH.html
@@ -91,6 +91,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html
index 0651993a..93f50272 100644
--- a/html-test/ref/Ticket112.html
+++ b/html-test/ref/Ticket112.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html
index 89a030c1..cecb5a8a 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -89,6 +89,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index 27ab9562..d5de827d 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -117,6 +117,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html
index a90bde67..1a0b92c0 100644
--- a/html-test/ref/TitledPicture.html
+++ b/html-test/ref/TitledPicture.html
@@ -111,6 +111,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 40e709d0..a264d9d4 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -1829,6 +1829,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index 52dc7d46..4eec3253 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -347,6 +347,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index 8674bd3e..c6634e8e 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -191,6 +191,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index b2422125..be55a799 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -81,6 +81,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file
diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html
index 6f8f238e..eb0eeb60 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -67,6 +67,11 @@ window.onload = function () {pageLoad();};
     ></script
     ><script src="index.js" type="text/javascript"
     ></script
+    ><script type="text/javascript"
+    >//
+quickNav.init();
+//
+</script
     ></body
   ></html
 >
\ No newline at end of file