diff --git a/doc/build.html b/doc/build.html
index ba535698d..49d138f91 100644
--- a/doc/build.html
+++ b/doc/build.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/contact.html b/doc/contact.html
index 8e041231d..e0acf7cc9 100644
--- a/doc/contact.html
+++ b/doc/contact.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/data-examples.html b/doc/data-examples.html
index 83213ff9b..bcd636fac 100644
--- a/doc/data-examples.html
+++ b/doc/data-examples.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/etymology.html b/doc/etymology.html
index c80dfd4c8..82dd8ccc3 100644
--- a/doc/etymology.html
+++ b/doc/etymology.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/feature-comparison.html b/doc/feature-comparison.html
index 2ac8223da..02a287def 100644
--- a/doc/feature-comparison.html
+++ b/doc/feature-comparison.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/file-formats.html b/doc/file-formats.html
index 33cc9c8af..d0ac1b6cf 100644
--- a/doc/file-formats.html
+++ b/doc/file-formats.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/index.html b/doc/index.html
index f01ee3233..e446f8ebe 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/internationalization.html b/doc/internationalization.html
index 6ddd41238..efa4b0eaa 100644
--- a/doc/internationalization.html
+++ b/doc/internationalization.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/originality.html b/doc/originality.html
index 44d1cb59a..9a0cebd12 100644
--- a/doc/originality.html
+++ b/doc/originality.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/performance.html b/doc/performance.html
index be6764101..18ae3fc87 100644
--- a/doc/performance.html
+++ b/doc/performance.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/poki.cfg b/doc/poki.cfg
index 1c0986c6d..906b31947 100644
--- a/doc/poki.cfg
+++ b/doc/poki.cfg
@@ -1,18 +1,15 @@
-sep:userinfo User info:
index.html About Miller
file-formats.html File formats
feature-comparison.html Miller features in the context of the Unix toolkit
record-heterogeneity.html Record-heterogeneity
-performance.html Performance
-etymology.html Why call it Miller?
-originality.html How original is Miller?
reference.html Reference
data-examples.html Data examples
internationalization.html Internationalization
-to-do.html Things to do
-
-sep:devinfo Developer info:
build.html Compiling, portability, dependencies, and testing
+performance.html Performance
whyc.html Why C?
+etymology.html Why call it Miller?
+originality.html How original is Miller?
+to-do.html Things to do
contact.html Contact information
ext:https://github.com/johnkerl/miller GitHub repo
diff --git a/doc/record-heterogeneity.html b/doc/record-heterogeneity.html
index 3910b2bf7..f85996214 100644
--- a/doc/record-heterogeneity.html
+++ b/doc/record-heterogeneity.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/reference.html b/doc/reference.html
index befc899e6..d02a8cbb9 100644
--- a/doc/reference.html
+++ b/doc/reference.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/to-do.html b/doc/to-do.html
index c2dcc8826..435114fce 100644
--- a/doc/to-do.html
+++ b/doc/to-do.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo
diff --git a/doc/whyc.html b/doc/whyc.html
index 0dba95e03..c9544af16 100644
--- a/doc/whyc.html
+++ b/doc/whyc.html
@@ -63,21 +63,19 @@ Miller commands were run with pretty-print-tabular output format.
Miller
-
User info:
• About Miller
• File formats
• Miller features in the context of the Unix toolkit
• Record-heterogeneity
-
• Performance
-
• Why call it Miller?
-
• How original is Miller?
• Reference
• Data examples
• Internationalization
-
• Things to do
-
Developer info:
• Compiling, portability, dependencies, and testing
+
• Performance
• Why C?
+
• Why call it Miller?
+
• How original is Miller?
+
• Things to do
• Contact information
• GitHub repo