Converting HTML files to Markdown.