[Sysadmin] leo configured

[Dean Mah]

We ran into some problems migrating leo last night.  A mixture of
things contributed to our failure to get leo moved, not the least of
which, is that MajorGumbo is based on an old version of Mailman which
makes migrating difficult.

Anyway, we configured the mailing lists on e.o.uk and moved over the
subscriptions and member configuration.

We will finish up today, i.e., moving the archives, setting up
aliases, configuring vhosts, and the front-end.  Then we will schedule
the DNS change again.

Dean