doc: number the headings