cvsserver: asciidoc formatting changes