diff --git a/docs/index.html b/docs/index.html
index 8d295dda..b50a7e65 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -135,6 +135,12 @@ the code. They may be upgraded to HTML files or stay as TXT scratchpads.
Assorted configuration options that could be implemented.