As you may already noticed, this list was a quite calm place today.
Some emails were not delivered to the subscribers and the reason for
this was a glitch in the network settings. You can blame me for the
later, so I'm sorry for the inconvenience.
The emails were received from the server, got archived, but just
didn't make it to your mailboxes.
You can see them on the web archive of the mailing list.
I know it seems a lot, I thought they were just 4 or 5, but they are a
dozen. Sorry. Shame on me. Won't happen again.