Mark the manual reference index as noexport

foolip · foolip · commit fc705def642b · 2020-06-04T10:50:10.000+02:00
This mainly silences warnings about unused definitions.
diff --git a/index.bs b/index.bs
@@ -9610,7 +9610,7 @@ and Wilhelm Joys Andersen
 for proofreading and suggesting areas for improvement.
 </section>
 
-<section>
+<section noexport>
 <h2 id=index>Index</h2>
 
 <p>
