On Thu, 26 Sep 2002, Andrew Perrin wrote:
> No, I don't think it's supposed to be case-sensitive. In any case, whether
> it's supposed to be or not, it certainly isn't in practice.
AFAIK, they are case sensitive by design. It is the right thing to do.