RelNoteson commit Merge branch 'jn/maint-doc-user-manual-html-doctype' (f9c8e7c)
   1Documentation/RelNotes-1.7.3.txt