XML version of the DocBook DTD version controlled for ScrollKeeper