docbook: Deleted means deprecated?! #588
Description
Right now we use revisionflag="deleted" to generate the "Deprecated" message. In the asciidoc files we call it deprecated.
The same is true to a lesser extent for the coming marker. In html and asciidoc you get it with coming but it docbook it is called changed.
Those words really don't mean the same thing. If possible we should fix docbook to use the same words.