Switching HTML to Markdown.
Minor edits to <pre>.