AsciiDoc examples: make intermediate asciidoc files have .txt extension