Mike's Asciidoc to Docbook tests