Unfortunately, due to problems with GMail, I am unable to send out the usual notifications to those on the mailing list.