[jiehong]

Using it for internal docs, but we don’t generate pdfs so I can’t comment on that part.

I personally find asciidoc easier to write manually.