diff --git a/doc/build.html b/doc/build.html
index 790efe5e3..da09ba407 100644
--- a/doc/build.html
+++ b/doc/build.html
@@ -67,7 +67,7 @@ Miller commands were run with pretty-print-tabular output format.
• Data examples
• Things to do
Developer info:
-
• Compiling, portability, dependencies, and testing
+
• Compiling, portability, dependencies, and testing
• Why C?
• Contact information
• GitHub repo
diff --git a/doc/contact.html b/doc/contact.html
index 1a93ea398..1fe7b1bd9 100644
--- a/doc/contact.html
+++ b/doc/contact.html
@@ -69,7 +69,7 @@ Miller commands were run with pretty-print-tabular output format.
Developer info:
• Compiling, portability, dependencies, and testing
• Why C?
-
• Contact information
+
• Contact information
• GitHub repo
diff --git a/doc/data-examples.html b/doc/data-examples.html
index 179648a6b..c5433725a 100644
--- a/doc/data-examples.html
+++ b/doc/data-examples.html
@@ -64,7 +64,7 @@ Miller commands were run with pretty-print-tabular output format.
• Why call it Miller?
• How original is Miller?
• Reference
-
• Data examples
+
• Data examples
• Things to do
Developer info:
• Compiling, portability, dependencies, and testing
diff --git a/doc/etymology.html b/doc/etymology.html
index a1be28721..a61be6826 100644
--- a/doc/etymology.html
+++ b/doc/etymology.html
@@ -61,7 +61,7 @@ Miller commands were run with pretty-print-tabular output format.
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
• Performance
-
• Why call it Miller?
+
• Why call it Miller?
• How original is Miller?
• Reference
• Data examples
diff --git a/doc/feature-comparison.html b/doc/feature-comparison.html
index 5cf5a6c8f..0c32b2a82 100644
--- a/doc/feature-comparison.html
+++ b/doc/feature-comparison.html
@@ -58,7 +58,7 @@ Miller commands were run with pretty-print-tabular output format.
User info:
• About
• File formats
-
• Miller features in the context of the Unix toolkit
+
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
• Performance
• Why call it Miller?
diff --git a/doc/file-formats.html b/doc/file-formats.html
index 02ec95032..9335605c0 100644
--- a/doc/file-formats.html
+++ b/doc/file-formats.html
@@ -57,7 +57,7 @@ Miller commands were run with pretty-print-tabular output format.
User info:
• About
-
• File formats
+
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
• Performance
diff --git a/doc/index.html b/doc/index.html
index 8d3d0b1e7..8cc680bb6 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -56,7 +56,7 @@ Miller commands were run with pretty-print-tabular output format.
User info:
-
• About
+
• About
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
diff --git a/doc/originality.html b/doc/originality.html
index 054d5ddf8..b1eadaf3c 100644
--- a/doc/originality.html
+++ b/doc/originality.html
@@ -62,7 +62,7 @@ Miller commands were run with pretty-print-tabular output format.
• Record-heterogeneity
• Performance
• Why call it Miller?
-
• How original is Miller?
+
• How original is Miller?
• Reference
• Data examples
• Things to do
diff --git a/doc/performance.html b/doc/performance.html
index 1c60bbd65..559c5d15d 100644
--- a/doc/performance.html
+++ b/doc/performance.html
@@ -60,7 +60,7 @@ Miller commands were run with pretty-print-tabular output format.
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
+
• Performance
• Why call it Miller?
• How original is Miller?
• Reference
diff --git a/doc/record-heterogeneity.html b/doc/record-heterogeneity.html
index aa964d0b1..dccea6c86 100644
--- a/doc/record-heterogeneity.html
+++ b/doc/record-heterogeneity.html
@@ -59,7 +59,7 @@ Miller commands were run with pretty-print-tabular output format.
• About
• File formats
• Miller features in the context of the Unix toolkit
-
• Record-heterogeneity
+
• Record-heterogeneity
• Performance
• Why call it Miller?
• How original is Miller?
diff --git a/doc/reference.html b/doc/reference.html
index 17a37acc7..b2e64d1eb 100644
--- a/doc/reference.html
+++ b/doc/reference.html
@@ -63,7 +63,7 @@ Miller commands were run with pretty-print-tabular output format.
• Performance
• Why call it Miller?
• How original is Miller?
-
• Reference
+
• Reference
• Data examples
• Things to do
Developer info:
diff --git a/doc/to-do.html b/doc/to-do.html
index d283d96c8..8d90de99f 100644
--- a/doc/to-do.html
+++ b/doc/to-do.html
@@ -65,7 +65,7 @@ Miller commands were run with pretty-print-tabular output format.
• How original is Miller?
• Reference
• Data examples
-
• Things to do
+
• Things to do
Developer info:
• Compiling, portability, dependencies, and testing
• Why C?
diff --git a/doc/whyc.html b/doc/whyc.html
index 50058edde..8d70b26f9 100644
--- a/doc/whyc.html
+++ b/doc/whyc.html
@@ -68,7 +68,7 @@ Miller commands were run with pretty-print-tabular output format.
• Things to do
Developer info:
• Compiling, portability, dependencies, and testing
-
• Why C?
+
• Why C?
• Contact information
• GitHub repo