Now it would seem fairly trivial to map from case-sensitive to case-insensitive, but in fact it's hard to do it efficiently.

从区分大小写映射到不区分大小写现在看来是很微不足道的，但实际上很难有效地进行这一映射。