Perhaps there are some example use cases to the contrary, but in general it seems like it would preferable if file extensions were matched ignoring case. I recently experienced this with a file name that had the extension SQL instead of sql and bat did not automatically apply the desired highlighting.