Hello, is there any way to make "filter" case insensitive? If there is no configuration option for this, how difficult would it be to change this in the source code? (I am using mc version: 3:4.8.22-1 on Debian 10 thank you