The list (and its web interface) were nonfunctional for a while due to a server crash. If you read this, it means that things are back to working. Sorry for any inconvenience. --Andreas