Renaming deity@?

[Daniel Burrows <dburrows@debian.org>]

  Hi,

  A user just sent an email about apt development to the aptitude
development list, because it was the only apt-related mailing list he
could find.

  I wonder if it would be a good idea to rename deity@lists.debian.org
to something boring and unsurprising, like say apt-devel@lists.debian.org.

  What are the mechanics behind this?  An alias would have to be created
so the old address worked and the archives would have to be moved;
subscribers would have to be moved to the new list, and either the
headers would have to be preserved or they'd all have to update their
filters.  Anything I left out?

  Daniel