DocBook: Difference between revisions