Markdown-izing the code blocks.

I figured out that the original document was probably in ASCIIdoc,
which by misguided convention use the txt extension.