The line here looks like it was not edited with XXE before (way too long), so it seems to have been edited with another editor before. Personally I think source and DocBook formatting changes are two different things. IMO, the latter will only go away if we all either use XXE (preferably in the same version) or no automatically formatting editor at all.