Simplifications to the asciidoc script