Make new version of PHP Markdown Extra actually work