Re-synced updates in the previous HTML documentaton into the DocBook version