Hello again, Sorry for all the operations-related noise folks, just wanted to send one final message to be sure that the list alias works for anyone who hasn't updated their addressbooks yet. After this I think we'll be back to normal operations, at least for the mailing list. -g