#9 Deleted residuary DocBook garbage