[tex-live] etex_man.pdf formatting issue

[jfbu]

Hi,

the file

/usr/local/texlive/2014/texmf-dist/doc/etex/base/etex_man.pdf

has (see for example on page 15) numerous TeX-XeT and TeX--XeT
where systematically the -XeT is bold on screen (tested on mac os x
with both preview and acrobat reader)

This seems like a bug, probably related to the chain followed
(which I didn't investigate) to produce the pdf from the source.
(by laziness I didn't try to locate the source, which is presumably in
some ascii text markup)

I suspect the -XeT is treated like an option, as for example one sees in 

/usr/local/texlive/2014/texmf-dist/doc/man/man1/etex.man1.pdf

where all described options are indeed printed bold. Thus my conjecture
is that similar tools are used to produce both etex_man.pdf and 
etex.man1.pdf but what is suitable for the second is not 100% ok for the first.

best wishes

Jean-Francois