doc/other.xml: More DocBook mark-up changes.