I just want to advertise that one infrastructure issue with email sent from
have been fixed.This will lead to emails from our domain not
be taken as SPAM with some provider (such as gmail).
As a side note, I might not have seen every emails that you expect me to
see, you might need to reply. All emails should have been received by
mailman are kept.