Documentation/howto: convert plain text files to asciidoc