The matching should probably be case insensitive unless there are two options that differ only by case. In that case (pun intended), prefer the one that more cl

The matching should probably be case insensitive unless there are two options that differ only by case. In that case (pun intended), prefer the one that more closely matches the user’s input. I find "smart case" is a nice solution here. The filtering should only be case-sensitive if the input has an uppercase letter.