Re: purely cosmetic issue

[Dave Barr <barr @ math . psu . edu>]

The Majordomo FAQ says this, in relation to a different but related problem:

   So, while it's OK to advertise (for
   instance) "Majordomo-Users" and have the headers say
   "Majordomo-Users", the file names and archive directory names
   themselves all need to be in lower case. If you want to use mixed
   case, simply configure the list using the lower-case names everywhere,
   except put the mixed-case version in the "-l" and "-h" flags to
   resend.

--Dave