minor LaTeX change in manual: remove italics from some section headers
to make headers more consistent
Merge branch 'V8_0-branch'