add some docs about case-folding