Migrating to a new Markdown interpreter