Unfortunately, due to problems with GMail, I am unable to send out the usual notifications to those on the mailing list. Hopefully, normal service (or an alternative)  will be resumed for the next edition.