Anyone now leaving a comment on this blog please note that we activated comment moderation, i.e. we first have to approve each comment prior to its publication.

This step was necessary since we received an increasing amount of spam, and deleting such comments afterwards just took more and more time.