This short message is just to let everyone be aware that I've asked
Dotsrc to close the old mailing-lists in advance (without waiting that
they pull the plug on the server). It should start bouncing mail in the
next 24-48 hours.
That'll help having only one mailing-list active at once.