Backport asciidoc changes

For releases, we usually whole-sale copy the docs from master to the release branch, and do the release with the latest-in-time documentation.

With the asciidoc change, we cannot do that anymore unless we also get the pom.xml changes, etc.

misty FYI.