Alright folks - I screwed up, I backed up case insensitivity in the
last version of /WHOIS. I should have it fixed by mid-week.
Sorry, but I am simply over-worked these days - that is not an excuse,
just the simple truth!
            - Michael Gettes, Boston University