Update source of generated asciidoc

Part of the asciidoc documentation is generated using scratchy from
source code. Updates to the generated asciidoc have been made without
updating the source code. Fix this by making corresponding updates
to the source.