It looks like I have been accidentally unsubscribed from several ET mailing lists. I received no unsubscription notification; I just stopped receiving the mails. The last posts I have from the users and tickets lists are from 26.03.2015. Eloisa and Oleg apparently also had this problem. I suspect others have also been unsubscribed, so it would be good to look into this and figure out what went wrong, and re-subscribe people.