Fix markdown rendering
Fix markdown rendering

We fix markdown rendering in the Manual. The problem amounted to very
strange interactions between markdown and intermingled HTML tags.

JohnEarnest/ok,JohnEarnest/ok