The HTML to Markdown converter for PHP