> 7. Lost facilities: It seems pretty certain that we will have to lose > the "change bars" feature: DocBook doesn't seem to have anything > suitable.