Shuffle code around, remove non-Markdown productions.