We want to use pure markdown, since docbook
is going away as the intermediate format.