Case insensitive comparisons

For the case insensitive comparison rules, I’m looking towards adopting the recommendation from W3C Character Model for Web draft for case-insensitive Unicode comparisons. The doc seems to be in a permanent WD state,
 though.

 

https://w3c.github.io/charmod-norm/#sec_unicode_cs

 

It’s quite the rabbit hole, but I think the implementation burden is already handled by many/most Unicode aware string handling libraries.

 

Before I head down that direction, any objections?