>>10647463It's ok. The second suggestion is basically just stylistic . The first suggestion is actually important when it comes to some other languages there are many representations of the same lower case letters and lower will keep the different characters whereas casefold will translate them all into the same characters. As such casefold should be used for case less string comparisons instead of lower.
