Thank you for the suggestion.

I added link anchors to a bunch of other <section> tags while I was
at it. Also cleaned up some whitespace issues that cropped up when we
converted to docbook 5 recently. Committed without a CHANGES note.