diff --git a/docs/README.md.html b/docs/README.md.html
index 3135b246..4fa4bb40 100644
--- a/docs/README.md.html
+++ b/docs/README.md.html
@@ -52,15 +52,15 @@
- [Generating Issue Documentation](internal/document-checks.md.html)
- [Testing dev builds](internal/verify.md.html)
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+---------------------------------------------------------------------
Documentation History:
* June 2022: Added documentation for [crafting error
messages](messages.md.html)
* May 2022: Noticed that the document rendering
was broken, such that many chapters were missing from
- the api-guide: "Adding Quickfixes", "Partial Analysis",
- "Data Flow Analyzer", "Annotations", and "Options".
+ the api-guide: “Adding Quickfixes”, “Partial Analysis”,
+ “Data Flow Analyzer”, “Annotations”, and “Options”.
These are now included.
* November 2021: Added documentation for [option
handling](api-guide/options.md.html)
diff --git a/docs/api-guide.html b/docs/api-guide.html
index 2c55e908..56a7eb25 100644
--- a/docs/api-guide.html
+++ b/docs/api-guide.html
@@ -1,6 +1,6 @@
-