fold-case

Unicode case folding, i.e. based on the official Unicode case folding mappings.