Further changes to produce a warning free html except for
"Cannot handle sectiondef with kind=private-attrib"
(but pdf does not work at all)