diff --git a/doc/comparison.html b/doc/comparison.html
index 706c142f..4e1ea8e5 100644
--- a/doc/comparison.html
+++ b/doc/comparison.html
@@ -45,6 +45,21 @@
 |
+
+
+ |
+
 |
diff --git a/doc/developers.html b/doc/developers.html
index 7bcf0eb8..7429bc32 100644
--- a/doc/developers.html
+++ b/doc/developers.html
@@ -45,6 +45,21 @@
 |
+
+
+ |
+
 |
diff --git a/doc/documentation.html b/doc/documentation.html
index ca712ee9..ec8107af 100644
--- a/doc/documentation.html
+++ b/doc/documentation.html
@@ -45,6 +45,21 @@
 |
+
+
+ |
+
diff --git a/doc/download.html b/doc/download.html
index 34dfec72..d0709946 100644
--- a/doc/download.html
+++ b/doc/download.html
@@ -45,6 +45,21 @@
+
+
+
+
diff --git a/doc/features.html b/doc/features.html
index 41fbea9c..c095e0ad 100644
--- a/doc/features.html
+++ b/doc/features.html
@@ -45,6 +45,21 @@
+
+
+
+
diff --git a/doc/format.html b/doc/format.html
index f0a88abc..8726f024 100644
--- a/doc/format.html
+++ b/doc/format.html
@@ -45,6 +45,21 @@
+
+
+
+
diff --git a/doc/goals.html b/doc/goals.html
index 7235d446..bfdf0923 100644
--- a/doc/goals.html
+++ b/doc/goals.html
@@ -45,6 +45,21 @@
+
+
+
+
diff --git a/doc/id.html b/doc/id.html
index 35599557..0d03ed54 100644
--- a/doc/id.html
+++ b/doc/id.html
@@ -45,6 +45,21 @@
+
+
+
+
diff --git a/doc/index.html b/doc/index.html
index 66a107de..36142116 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -45,6 +45,21 @@
+
+
+
+
diff --git a/doc/news.html b/doc/news.html
index 51d00927..a2c983d4 100644
--- a/doc/news.html
+++ b/doc/news.html
@@ -45,6 +45,21 @@
+
+
+
+