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)