The mailing list archive is now here.