Listserv failed at midnight July 11. Mail is not being distributed to mailing lists. Work is in progress to restart it.