Unicode is a solved problem, they said