Version 4.2 of the DocBook XML DTDs
