Mark the manual reference index as noexport

foolip · foolip · commit 38d9cacb1884 · 2020-06-05T09:18:13.000+02:00
This mainly silences warnings about unused definitions.
diff --git a/index.bs b/index.bs
@@ -9611,7 +9611,7 @@ and Wilhelm Joys Andersen
 for proofreading and suggesting areas for improvement.
 </section>
 
-<section>
+<section noexport>
 <h2 id=index>Index</h2>
 
 <p>
