Thread:Extension talk:Lingo/Lingo case-sensitive/reply (4)

I also vote for creating a flag to make the glossary case-insensative. Or just follow the mediawiki format for page headers. If a term begins with a capitalization, then it can match a version where the first letter is capitalized or not capitalized. If you are worried about performance, then create a flag in the LocalSettings.php file.