> > At the same time, we could say that they should revert to `-'
> > instead of `\-' which is easier to remember, and which gives
> > better appearance in the manpage source files.
> No, you cannot, since using \- is not an advice that has been
> introduced by you (even though you may have advised it). Proper
> manual pages have used \- since Unix 7th edition at least.
> Moreover, they have often used regular or bold font for command line
> I would recommend to map \- to U+002D for all output devices that
> use ASCII codes.
Hmm. For man pages, I agree. The same probably for the `traditional'
macro packages, this is, -me, -ms, and -mm, but I'm not sure. The
main question is, however, whether we should do that in general.