Thank you both for helping with this issue. Paul's argument has convinced me that we should not make this change now. If anyone comes up with a good case for applying this patch, please let us know and we'll be happy to revisit.
- bug#16631: Consideration of title case on case-insensitive... Norihiro Tanaka
- bug#16631: Consideration of title case on case-insens... Jim Meyering
- bug#16631: Consideration of title case on case-insens... Norihiro Tanaka
- bug#16631: Consideration of title case on case-in... Aharon Robbins
- bug#16631: Consideration of title case on case-insens... Paul Eggert
- bug#16631: Consideration of title case on case-in... Norihiro Tanaka
- bug#16631: Consideration of title case on cas... Jim Meyering
