CAIDA is now using Mailman to handle the walrus-dev mailing list. You can change your settings, unsubscribe, etc., from http://login.caida.org/mailman/listinfo/walrus-dev --Young