improved documentation on DocBook related things