Pinging the list, as it appears to be down (no messages since Friday, 16:13). Please excuse the interruption. BTW: Has anyone else noticed that the archives stopped on July 8?