>>> Philip Guenther <pguenther@proofpoint.com> schrieb am 23.10.2019 um 18:28
in
Nachricht <alpine.BSO.2.21.1910230926270.77036@morgaine.local>:
> On Wed, 23 Oct 2019, Quanah Gibson-Mount wrote:
>
> The "–" in the DESC is not the ascii "-" but a Unicode hyphen.

Good spot. I think I also had some fun with a Unicode mathematical minus when
being processed in Java, because that glyph has a three-byte encoding in UTF-8.
In my case it originated from copy&paste from PDF (where it looked like a
normal minus)...