Some conversions to asciidoc