Mark the manual reference index as noexport

foolip · foolip · commit 848665bf9bec · 2020-06-03T12:54:36.000+02:00
This mainly silences warnings about unused definitions.
diff --git a/index.bs b/index.bs
@@ -9597,7 +9597,7 @@ and Wilhelm Joys Andersen
 for proofreading and suggesting areas for improvement.
 </section>
 
-<section>
+<section noexport>
 <h2 id=index>Index</h2>
 
 <p>
