Gerard Meijssen wrote:
There is a setting that allows you to set of capitalisation of article names.
That makes the first letter case-sensitive which is the _opposite_ of case-insensitive. (Normally the first letter is forced to capitalization, which gives a small degree of case-insensitivity in that [[asteroid]] and [[Asteroid]] go to the same place.)
-- brion vibber (brion @ pobox.com)