Script to turn HTML into equivalent Markdown-structured text.
