[XXE] replace docbook menu?

[Hussein Shafie]

Kevin Flynn wrote:
> 
> Is it possible to relabel the menu as well? (I don't want to refer to 
> the customized version as DocBook.)
> 

Yes. This label is just a label. I mean, it is not an identifier having 
a special meaning for XXE.