Added an option to convert HTML to GitHub Flavored Markdown.