Use `-⁠` instead of `‑`

Use `-⁠` instead of `‑`

Using a non-breaking zero-width char after a dash makes the browser
avoiding breaking on that dash and also makes it match a dash in a
search.  This is better than a non-breaking dash char, which does not
match a dash in a search.