Is crawler/indexer case sensitive?

In our search results it turned up two urls wich are the same except for one had initial large Caps. ex:

I thought the crawler and indexer was case insensitive. Is it not? Is there a setting I must change somewhere?

I think it’s case-sensitive in crawler. There is no setting to support it at the moment.

It would be a good thing to develop becauce the urls are the same and should be treated as the same page.