Board Thread:General Discussion/@comment-25246763-20161105200223/@comment-25246763-20161105204740

By the way, case folding seems to be about lower case and upper case. Maybe this thing should be called "diacritics folding"? :)