Ported r28149 to r28151 from the trunk to improve the HTML manual.
The command used was: svn log -r28149:r28151 svn+ssh://bugman@.../svn/relax/trunk .
Authored by: bugman 2015-12-15
Parent: [r28151]
Child: [r28153]
