Redo the markdown for headings in the proto-manual