Fix the formatting of the HTML and AsciiDoc files.

• Fix the formatting of the HTML and AsciiDoc files.

When I originally cut and and pasted content into these files, things like left and right quotes were copied verbatim. These rendered fine on my local workstation, but do not render correctly on the server. Independent of that, we should use proper HTML and AsciiDoc.