[mkgmap-dev] address search and case significance of street name

Hi all, in some areas, esp. in CZ, I see quite a lot of houses where the addr:street name is slightly different to that of the nearest road. Sample: http://www.openstreetmap.org/way/296555634 has name="K Zahrádkám" (with capital "Z") while some houses, e.g. http://www.openstreetmap.org/way/53658380 have addr:street="K zahrádkám" I thought that this is handled by a bot, but this difference exists now for quite a while. I assume that mkgmap should always ignore case when it compares these tags? Or should that depend on the option "--lower-case" ? Gerd