ParentFull threaddboreham·Many applications will auto-correct, or typeset double dash to an En-dash. Perhaps they thought they were using such an editor?View on HN