asciidoc page: a few more comments about installation