Thanks. Our admins are looking at doing a rollback so that the old URLs will continue to work. Some patching may be necessary. We'll keep you updated.
(Maybe a better list manager would just use SHA1 codes as the message indices, but that's not the world we have right now.) Shriram _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
