Equivalence of Unicode strings is strange (2016)