Known anomalies in Unicode character names (2017) | Hacker News Reader