How to close case-insensitively mode?

fromatlantis · January 4, 2022, 6:42am

How to close case-insensitively mode? Thanks.

marijn · January 4, 2022, 7:46am

What is “case-insensitive mode”?