Arjen Markus - 2004-08-12

Logged In: YES
user_id=400048

I forgot to add that it suffices (for me, and I imagine for
most users) to have an option that turns off
case-sensitivity globally.