Update doc/manual.asciidoc