So we will migrate to the new list tomorrow (Wed, May 14). We will set
the current list address to redirect its messages to the new list.
Certainly it will take a while for everybody to adjust to the new list
(different delays, different subscription rules, different headers,
etc.) but let us hope we will all be happy there :)