5 ms·This has been posted before, quite recently too. I would like to see an option to ignore case.by DEADBEEFC0FFEE 6y agoThis has been posted before, quite recently too. I would like to see an option to ignore case.