Re: asciidoc manual

[David Medinets]

I took another look at the HTML and it was indeed the bright red strings
that I did not like. Otherwise, brilliant!