Merge pull request #100 from googlesamples/updatedocs

Update documentation snapshot

Author: tnorbye

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)