Migrate from "MarkDown" to a well-specified doc format