This improves the style for consistency with the rest of the manual
and adds the tunables to the search database.
I was not quite sure what to do with the extra kernel configuration
option, so I moved it to HISTORY. example(4) shows it in DESCIRPTION.
MFC after: 3 days