You all might have noticed that a bunch of (old) messages was delivered
yesterday. These posts have been waiting for moderation but nobody noticed
it. Many thanks to all of you who responded to point out that problem.
We're very sorry about this inconvenience but it's now fixed and new
announcements will reach your mailboxes immediately.