diff --git a/site/releases/3.12/ocaml-3.12-refman-html.tar.gz b/site/releases/3.12/ocaml-3.12-refman-html.tar.gz
index 499361726..c7e8fa403 100644
Binary files a/site/releases/3.12/ocaml-3.12-refman-html.tar.gz and b/site/releases/3.12/ocaml-3.12-refman-html.tar.gz differ
diff --git a/site/releases/3.12/ocaml-3.12-refman-html.zip b/site/releases/3.12/ocaml-3.12-refman-html.zip
index 94594f577..123cd5cd6 100644
Binary files a/site/releases/3.12/ocaml-3.12-refman-html.zip and b/site/releases/3.12/ocaml-3.12-refman-html.zip differ
diff --git a/site/releases/3.12/ocaml-3.12-refman.html b/site/releases/3.12/ocaml-3.12-refman.html
index 06b428cc3..efb36241d 100644
--- a/site/releases/3.12/ocaml-3.12-refman.html
+++ b/site/releases/3.12/ocaml-3.12-refman.html
@@ -54,14 +54,14 @@
This manual is also available in
-PDF.
-Postscript,
-DVI,
-plain text,
+PDF.
+Postscript,
+DVI,
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.00/ocaml-4.00-refman-html.tar.gz b/site/releases/4.00/ocaml-4.00-refman-html.tar.gz
index a676c438d..58e574d8b 100644
Binary files a/site/releases/4.00/ocaml-4.00-refman-html.tar.gz and b/site/releases/4.00/ocaml-4.00-refman-html.tar.gz differ
diff --git a/site/releases/4.00/ocaml-4.00-refman-html.zip b/site/releases/4.00/ocaml-4.00-refman-html.zip
index 6025848c6..52b6497d7 100644
Binary files a/site/releases/4.00/ocaml-4.00-refman-html.zip and b/site/releases/4.00/ocaml-4.00-refman-html.zip differ
diff --git a/site/releases/4.00/ocaml-4.00-refman.html b/site/releases/4.00/ocaml-4.00-refman.html
index 29ba01f53..71ea48cff 100644
--- a/site/releases/4.00/ocaml-4.00-refman.html
+++ b/site/releases/4.00/ocaml-4.00-refman.html
@@ -61,14 +61,14 @@
This manual is also available in
-PDF.
-Postscript,
-DVI,
-plain text,
+PDF.
+Postscript,
+DVI,
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.01/ocaml-4.01-refman-html.tar.gz b/site/releases/4.01/ocaml-4.01-refman-html.tar.gz
index 0d1bda4d7..38e144b9d 100644
Binary files a/site/releases/4.01/ocaml-4.01-refman-html.tar.gz and b/site/releases/4.01/ocaml-4.01-refman-html.tar.gz differ
diff --git a/site/releases/4.01/ocaml-4.01-refman-html.zip b/site/releases/4.01/ocaml-4.01-refman-html.zip
index e37029359..8d157f50f 100644
Binary files a/site/releases/4.01/ocaml-4.01-refman-html.zip and b/site/releases/4.01/ocaml-4.01-refman-html.zip differ
diff --git a/site/releases/4.01/ocaml-4.01-refman.html b/site/releases/4.01/ocaml-4.01-refman.html
index 0475eadf3..c8bb47774 100644
--- a/site/releases/4.01/ocaml-4.01-refman.html
+++ b/site/releases/4.01/ocaml-4.01-refman.html
@@ -103,14 +103,14 @@
This manual is also available in
-PDF.
-Postscript,
-DVI,
-plain text,
+PDF.
+Postscript,
+DVI,
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.02/ocaml-4.02-refman-html-0.tar.gz b/site/releases/4.02/ocaml-4.02-refman-html-0.tar.gz
index 368e7d932..6ba8d2ec0 100644
Binary files a/site/releases/4.02/ocaml-4.02-refman-html-0.tar.gz and b/site/releases/4.02/ocaml-4.02-refman-html-0.tar.gz differ
diff --git a/site/releases/4.02/ocaml-4.02-refman-html-0.zip b/site/releases/4.02/ocaml-4.02-refman-html-0.zip
index c047538f9..3d54e192d 100644
Binary files a/site/releases/4.02/ocaml-4.02-refman-html-0.zip and b/site/releases/4.02/ocaml-4.02-refman-html-0.zip differ
diff --git a/site/releases/4.02/ocaml-4.02-refman-html-1.tar.gz b/site/releases/4.02/ocaml-4.02-refman-html-1.tar.gz
index f48319e44..2b24a81e4 100644
Binary files a/site/releases/4.02/ocaml-4.02-refman-html-1.tar.gz and b/site/releases/4.02/ocaml-4.02-refman-html-1.tar.gz differ
diff --git a/site/releases/4.02/ocaml-4.02-refman-html-1.zip b/site/releases/4.02/ocaml-4.02-refman-html-1.zip
index 384c41d31..a59388ce9 100644
Binary files a/site/releases/4.02/ocaml-4.02-refman-html-1.zip and b/site/releases/4.02/ocaml-4.02-refman-html-1.zip differ
diff --git a/site/releases/4.02/ocaml-4.02-refman-html.tar.gz b/site/releases/4.02/ocaml-4.02-refman-html.tar.gz
index f48319e44..bb2936f4e 100644
Binary files a/site/releases/4.02/ocaml-4.02-refman-html.tar.gz and b/site/releases/4.02/ocaml-4.02-refman-html.tar.gz differ
diff --git a/site/releases/4.02/ocaml-4.02-refman-html.zip b/site/releases/4.02/ocaml-4.02-refman-html.zip
index 384c41d31..d998a35c6 100644
Binary files a/site/releases/4.02/ocaml-4.02-refman-html.zip and b/site/releases/4.02/ocaml-4.02-refman-html.zip differ
diff --git a/site/releases/4.02/ocaml-4.02-refman.html b/site/releases/4.02/ocaml-4.02-refman.html
index 30a1ecfcc..c4503520b 100644
--- a/site/releases/4.02/ocaml-4.02-refman.html
+++ b/site/releases/4.02/ocaml-4.02-refman.html
@@ -103,14 +103,14 @@
This manual is also available in
-PDF.
-Postscript,
-DVI,
-plain text,
+PDF.
+Postscript,
+DVI,
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.03/ocaml-4.03-refman-html.tar.gz b/site/releases/4.03/ocaml-4.03-refman-html.tar.gz
index 23ba6ede1..b1fe7fa4c 100644
Binary files a/site/releases/4.03/ocaml-4.03-refman-html.tar.gz and b/site/releases/4.03/ocaml-4.03-refman-html.tar.gz differ
diff --git a/site/releases/4.03/ocaml-4.03-refman-html.zip b/site/releases/4.03/ocaml-4.03-refman-html.zip
index ecdc84b2f..b12776499 100644
Binary files a/site/releases/4.03/ocaml-4.03-refman-html.zip and b/site/releases/4.03/ocaml-4.03-refman-html.zip differ
diff --git a/site/releases/4.03/ocaml-4.03-refman.html b/site/releases/4.03/ocaml-4.03-refman.html
index 92c14b925..24dc9702d 100644
--- a/site/releases/4.03/ocaml-4.03-refman.html
+++ b/site/releases/4.03/ocaml-4.03-refman.html
@@ -97,14 +97,14 @@
This manual is also available in
-PDF.
-Postscript,
-DVI,
-plain text,
+PDF.
+Postscript,
+DVI,
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.04/ocaml-4.04-refman-html.tar.gz b/site/releases/4.04/ocaml-4.04-refman-html.tar.gz
index 0e37d53f0..0d54dc34e 100644
Binary files a/site/releases/4.04/ocaml-4.04-refman-html.tar.gz and b/site/releases/4.04/ocaml-4.04-refman-html.tar.gz differ
diff --git a/site/releases/4.04/ocaml-4.04-refman-html.zip b/site/releases/4.04/ocaml-4.04-refman-html.zip
index 5a71b7889..e0a275cb7 100644
Binary files a/site/releases/4.04/ocaml-4.04-refman-html.zip and b/site/releases/4.04/ocaml-4.04-refman-html.zip differ
diff --git a/site/releases/4.04/ocaml-4.04-refman.html b/site/releases/4.04/ocaml-4.04-refman.html
index 6ef294903..ef6e0f7dd 100644
--- a/site/releases/4.04/ocaml-4.04-refman.html
+++ b/site/releases/4.04/ocaml-4.04-refman.html
@@ -97,14 +97,14 @@
This manual is also available in
-PDF.
-Postscript,
-DVI,
-plain text,
+PDF.
+Postscript,
+DVI,
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.05/ocaml-4.05-refman-html.tar.gz b/site/releases/4.05/ocaml-4.05-refman-html.tar.gz
index 29a2a6d55..d48ba6984 100644
Binary files a/site/releases/4.05/ocaml-4.05-refman-html.tar.gz and b/site/releases/4.05/ocaml-4.05-refman-html.tar.gz differ
diff --git a/site/releases/4.05/ocaml-4.05-refman-html.zip b/site/releases/4.05/ocaml-4.05-refman-html.zip
index 16a57a503..3692419a5 100644
Binary files a/site/releases/4.05/ocaml-4.05-refman-html.zip and b/site/releases/4.05/ocaml-4.05-refman-html.zip differ
diff --git a/site/releases/4.05/ocaml-4.05-refman.html b/site/releases/4.05/ocaml-4.05-refman.html
index 0282eeb53..6ddc91690 100644
--- a/site/releases/4.05/ocaml-4.05-refman.html
+++ b/site/releases/4.05/ocaml-4.05-refman.html
@@ -98,14 +98,14 @@
This manual is also available in
-PDF.
-Postscript,
-DVI,
-plain text,
+PDF.
+Postscript,
+DVI,
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.06/ocaml-4.06-refman-html.tar.gz b/site/releases/4.06/ocaml-4.06-refman-html.tar.gz
index 18b4d99ac..dcca7f302 100644
Binary files a/site/releases/4.06/ocaml-4.06-refman-html.tar.gz and b/site/releases/4.06/ocaml-4.06-refman-html.tar.gz differ
diff --git a/site/releases/4.06/ocaml-4.06-refman-html.zip b/site/releases/4.06/ocaml-4.06-refman-html.zip
index 767e6c353..b90116e97 100644
Binary files a/site/releases/4.06/ocaml-4.06-refman-html.zip and b/site/releases/4.06/ocaml-4.06-refman-html.zip differ
diff --git a/site/releases/4.06/ocaml-4.06-refman.html b/site/releases/4.06/ocaml-4.06-refman.html
index 7ede345c6..86b568de1 100644
--- a/site/releases/4.06/ocaml-4.06-refman.html
+++ b/site/releases/4.06/ocaml-4.06-refman.html
@@ -98,14 +98,14 @@
This manual is also available in
-PDF.
-Postscript,
-DVI,
-plain text,
+PDF.
+Postscript,
+DVI,
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.07/ocaml-4.07-refman-html.tar.gz b/site/releases/4.07/ocaml-4.07-refman-html.tar.gz
index d315d4c68..34a098e84 100644
Binary files a/site/releases/4.07/ocaml-4.07-refman-html.tar.gz and b/site/releases/4.07/ocaml-4.07-refman-html.tar.gz differ
diff --git a/site/releases/4.07/ocaml-4.07-refman-html.zip b/site/releases/4.07/ocaml-4.07-refman-html.zip
index b2d450c13..8cd175b8a 100644
Binary files a/site/releases/4.07/ocaml-4.07-refman-html.zip and b/site/releases/4.07/ocaml-4.07-refman-html.zip differ
diff --git a/site/releases/4.07/ocaml-4.07-refman.html b/site/releases/4.07/ocaml-4.07-refman.html
index 145363f5d..0f0c2e7cb 100644
--- a/site/releases/4.07/ocaml-4.07-refman.html
+++ b/site/releases/4.07/ocaml-4.07-refman.html
@@ -130,14 +130,14 @@
This manual is also available in
-PDF.
-Postscript,
-DVI,
-plain text,
+PDF.
+Postscript,
+DVI,
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.08/ocaml-4.08-refman-html.tar.gz b/site/releases/4.08/ocaml-4.08-refman-html.tar.gz
index 03363d7af..0333bd442 100644
Binary files a/site/releases/4.08/ocaml-4.08-refman-html.tar.gz and b/site/releases/4.08/ocaml-4.08-refman-html.tar.gz differ
diff --git a/site/releases/4.08/ocaml-4.08-refman-html.zip b/site/releases/4.08/ocaml-4.08-refman-html.zip
index 2e9f8f439..6597f6850 100644
Binary files a/site/releases/4.08/ocaml-4.08-refman-html.zip and b/site/releases/4.08/ocaml-4.08-refman-html.zip differ
diff --git a/site/releases/4.08/ocaml-4.08-refman.html b/site/releases/4.08/ocaml-4.08-refman.html
index c71b8ac85..ffd238c66 100644
--- a/site/releases/4.08/ocaml-4.08-refman.html
+++ b/site/releases/4.08/ocaml-4.08-refman.html
@@ -130,12 +130,12 @@
This manual is also available in
-PDF.
-plain text,
+PDF.
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.09/ocaml-4.09-refman-html.tar.gz b/site/releases/4.09/ocaml-4.09-refman-html.tar.gz
index ffeebf57c..e7c176a2e 100644
Binary files a/site/releases/4.09/ocaml-4.09-refman-html.tar.gz and b/site/releases/4.09/ocaml-4.09-refman-html.tar.gz differ
diff --git a/site/releases/4.09/ocaml-4.09-refman-html.zip b/site/releases/4.09/ocaml-4.09-refman-html.zip
index ed17c6d62..f8ce2c5b2 100644
Binary files a/site/releases/4.09/ocaml-4.09-refman-html.zip and b/site/releases/4.09/ocaml-4.09-refman-html.zip differ
diff --git a/site/releases/4.09/ocaml-4.09-refman.html b/site/releases/4.09/ocaml-4.09-refman.html
index 8100c2931..00aa054f6 100644
--- a/site/releases/4.09/ocaml-4.09-refman.html
+++ b/site/releases/4.09/ocaml-4.09-refman.html
@@ -130,12 +130,12 @@
This manual is also available in
-PDF.
-plain text,
+PDF.
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents
-
diff --git a/site/releases/4.10/ocaml-4.10-refman-html.tar.gz b/site/releases/4.10/ocaml-4.10-refman-html.tar.gz
index 485b4b3c8..ab57109bc 100644
Binary files a/site/releases/4.10/ocaml-4.10-refman-html.tar.gz and b/site/releases/4.10/ocaml-4.10-refman-html.tar.gz differ
diff --git a/site/releases/4.10/ocaml-4.10-refman-html.zip b/site/releases/4.10/ocaml-4.10-refman-html.zip
index 4a5540fa2..e1c46a525 100644
Binary files a/site/releases/4.10/ocaml-4.10-refman-html.zip and b/site/releases/4.10/ocaml-4.10-refman-html.zip differ
diff --git a/site/releases/4.10/ocaml-4.10-refman.html b/site/releases/4.10/ocaml-4.10-refman.html
index f2d83a05e..4cf5fbc31 100644
--- a/site/releases/4.10/ocaml-4.10-refman.html
+++ b/site/releases/4.10/ocaml-4.10-refman.html
@@ -164,12 +164,12 @@
This manual is also available in
-PDF.
-plain text,
+PDF.
+plain text,
as a
-bundle of HTML files,
+bundle of HTML files,
and as a
-bundle of Emacs Info files.
+bundle of Emacs Info files.
Contents