Also true. Came to my mind after already creating the PR.
I don't think there will ever be "another" case insensitive setting but still the name of the setting should say as much about itself as possible in the shortest way possible...