Update to latest html-doc-framework
Give section 3.2 a title