Comment 3 for bug 1461721

Do we really need another setting that people don't use? Aren't most people used to "just typing in Google" no matter whether with a capital letter or not? I think it would be good if the search were case insensitive and thus showed both results (Hope and hope) and then the author can decide which one it is as it is their own tags and not somebody else's tags. We don't use semantic tagging in Mahara and thus anything is a bit arbitrary in my opinion. Adding another setting just adds more clicks that may not really be necessary.