"man-page" headings now have ids