If it were written for man-only, we should distinguish character usage of U+2010 and U+002D.
We maintain the documents in Texinfo as source format and generate man pages by yat2man.
In this situation, I'm not sure how to handle the problem reported for our man pages:
https://bugs.debian.org/1050042
https://bugs.debian.org/1041731
Possibly, we somehow put a workaround into yat2man.