So what happened to the mailing list? For the last five days there were no posts.