Upgrade PHP Markdown and split out Vanilla Markdown customizations