Migrate from dflydev/markdown to michelf/php-markdown