Some parts of OurBigBook use "JavaScript case conversion".
This means that the conversion is done as if by the
toLowerCase/toUpperCase functions.The most important fact about those functions is that they do convert non-ASCII Unicode capitalization, e.g. between
É and é:These conversions are also specified in the Unicode standard.